Index of /repos/coq/Russell/proof/JRussell

	Name	Last modified	Size	Description
	Parent Directory		-
	Basic.v	31-Jan-2008 21:58	2.1K
	Basic.vo	01-Feb-2008 00:13	17K
	Coercion.v	31-Jan-2008 21:58	3.3K
	Coercion.vo	01-Feb-2008 00:13	24K
	Conversion.v	31-Jan-2008 21:58	3.4K
	Conversion.vo	01-Feb-2008 00:13	24K
	Freevars.v	31-Jan-2008 21:58	4.5K
	Freevars.vo	01-Feb-2008 00:23	104K
	Generation.v	31-Jan-2008 21:58	13K
	Generation.vo	01-Feb-2008 00:13	148K
	GenerationCoerce.v	31-Jan-2008 21:58	9.3K
	GenerationCoerce.vo	01-Feb-2008 00:14	55K
	GenerationNotKind.v	31-Jan-2008 21:58	4.5K
	GenerationNotKind.vo	01-Feb-2008 00:14	33K
	GenerationRange.v	31-Jan-2008 21:58	13K
	GenerationRange.vo	01-Feb-2008 00:14	108K
	Makefile	31-Jan-2008 21:58	35
	PreFunctionality.v	31-Jan-2008 21:58	3.4K
	PreFunctionality.vo	01-Feb-2008 00:13	25K
	SubjectReduction.v	31-Jan-2008 21:58	16K
	Substitution.v	31-Jan-2008 21:58	6.1K
	Substitution.vo	01-Feb-2008 00:13	45K
	Thinning.v	31-Jan-2008 21:58	8.5K
	Thinning.vo	01-Feb-2008 00:13	50K
	Types.v	31-Jan-2008 21:58	7.3K
	Types.vo	01-Feb-2008 00:13	167K
	UnicityOfSorting.v	31-Jan-2008 21:58	934
	UnicityOfSorting.vo	01-Feb-2008 00:14	7.0K
	UnicityOfSortingRange.v	31-Jan-2008 21:58	6.3K
	UnicityOfSortingRange.vo	01-Feb-2008 00:14	61K
	Validity.v	31-Jan-2008 21:58	13K
	Validity.vo	01-Feb-2008 00:14	59K