Index of /repos/coq/Russell/proof/TPOSR

	Name	Last modified	Size	Description
	Parent Directory		-
	Basic.v	31-Jan-2008 21:58	3.8K
	Basic.vo	01-Feb-2008 00:13	25K
	ChurchRosser.v	31-Jan-2008 21:58	22K
	ChurchRosser.vo	01-Feb-2008 00:19	138K
	ChurchRosserDepth.v	31-Jan-2008 21:58	41K
	ChurchRosserDepth.vo	01-Feb-2008 00:19	412K
	CoerceDepth.v	31-Jan-2008 21:58	3.0K
	CoerceDepth.vo	01-Feb-2008 00:19	27K
	CoerceNoTrans.v	31-Jan-2008 21:58	10K
	CoerceNoTrans.vo	01-Feb-2008 00:19	62K
	Conv.v	31-Jan-2008 21:58	14K
	Conv.vo	01-Feb-2008 00:12	203K
	Conv_Dec.v	31-Jan-2008 21:58	11K
	Conv_Dec.vo	01-Feb-2008 00:23	223K
	CtxCoercion.v	31-Jan-2008 21:58	2.8K
	CtxCoercion.vo	01-Feb-2008 00:13	16K
	CtxConversion.v	31-Jan-2008 21:58	1.8K
	CtxConversion.vo	01-Feb-2008 00:13	13K
	CtxExpansion.v	31-Jan-2008 21:58	5.1K
	CtxExpansion.vo	01-Feb-2008 00:12	40K
	CtxReduction.v	31-Jan-2008 21:58	5.1K
	CtxReduction.vo	01-Feb-2008 00:12	40K
	Env.v	31-Jan-2008 21:58	3.7K
	Env.vo	01-Feb-2008 00:12	30K
	Equiv.v	31-Jan-2008 21:58	6.0K
	Equiv.vo	01-Feb-2008 00:14	30K
	Generation.v	31-Jan-2008 21:58	18K
	Generation.vo	01-Feb-2008 00:15	366K
	Injectivity.v	31-Jan-2008 21:58	5.1K
	Injectivity.vo	01-Feb-2008 00:20	24K
	LeftReflexivity.v	31-Jan-2008 21:58	2.0K
	LeftReflexivity.vo	01-Feb-2008 00:12	13K
	LiftSubst.v	31-Jan-2008 21:58	10K
	LiftSubst.vo	01-Feb-2008 00:11	52K
	Makefile	31-Jan-2008 21:58	55
	MaxLemmas.v	31-Jan-2008 21:58	6.0K
	MaxLemmas.vo	01-Feb-2008 00:14	28K
	PreCtxCoercion.v	31-Jan-2008 21:58	9.2K
	PreCtxCoercion.vo	01-Feb-2008 00:12	53K
	PreSubstitutionTPOSR.v	31-Jan-2008 21:58	24K
	PreSubstitutionTPOSR.vo	01-Feb-2008 00:13	111K
	Reduction.v	31-Jan-2008 21:58	28K
	Reduction.vo	01-Feb-2008 00:11	283K
	RightReflexivity.v	31-Jan-2008 21:58	9.3K
	RightReflexivity.vo	01-Feb-2008 00:13	101K
	SubjectReduction.v	31-Jan-2008 21:58	15K
	SubjectReduction.vo	01-Feb-2008 00:21	155K
	Substitution.v	31-Jan-2008 21:58	8.2K
	Substitution.vo	01-Feb-2008 00:12	40K
	SubstitutionTPOSR.v	31-Jan-2008 21:58	3.7K
	SubstitutionTPOSR.vo	01-Feb-2008 00:13	17K
	TPOSR_trans.v	31-Jan-2008 21:58	17K
	TPOSR_trans.vo	01-Feb-2008 00:22	74K
	Terms.v	31-Jan-2008 21:58	6.4K
	Terms.vo	01-Feb-2008 00:11	41K
	Thinning.v	31-Jan-2008 21:58	8.7K
	Thinning.vo	01-Feb-2008 00:12	41K
	Transitivity.v	31-Jan-2008 21:58	2.5K
	Transitivity.vo	01-Feb-2008 00:20	14K
	TransitivitySet.v	31-Jan-2008 21:58	27K
	TransitivitySet.vo	01-Feb-2008 00:20	239K
	Types.v	31-Jan-2008 21:58	8.0K
	Types.vo	01-Feb-2008 00:12	204K
	TypesDepth.v	31-Jan-2008 21:58	9.2K
	TypesDepth.vo	01-Feb-2008 00:14	101K
	TypesFunctionality.v	31-Jan-2008 21:58	7.6K
	TypesFunctionality.vo	01-Feb-2008 00:15	24K
	UnicityOfSorting.v	31-Jan-2008 21:58	1.1K
	UnicityOfSorting.vo	01-Feb-2008 00:14	11K
	UniquenessOfTypes.v	31-Jan-2008 21:58	5.1K
	UniquenessOfTypes.vo	01-Feb-2008 00:15	85K
	Unlab.v	31-Jan-2008 21:58	8.4K
	Unlab.vo	01-Feb-2008 00:14	164K
	UnlabConv.v	31-Jan-2008 21:58	30K
	UnlabConv.vo	01-Feb-2008 00:22	234K
	Validity.v	31-Jan-2008 21:58	3.0K
	Validity.vo	01-Feb-2008 00:15	43K