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

	Name	Last modified	Size	Description
	Parent Directory		-
	Coercion.v	31-Jan-2008 21:58	5.8K
	Coercion.vo	01-Feb-2008 00:11	33K
	Depth.v	31-Jan-2008 21:58	3.3K
	Depth.vo	01-Feb-2008 00:11	29K
	Generation.v	31-Jan-2008 21:58	13K
	Generation.vo	01-Feb-2008 00:11	105K
	GenerationCoerce.v	31-Jan-2008 21:58	7.5K
	GenerationCoerce.vo	01-Feb-2008 00:11	44K
	GenerationNotKind.v	31-Jan-2008 21:58	5.9K
	GenerationNotKind.vo	01-Feb-2008 00:11	34K
	GenerationRange.v	31-Jan-2008 21:58	9.7K
	GenerationRange.vo	01-Feb-2008 00:11	76K
	Injectivity.v	31-Jan-2008 21:58	3.9K
	Injectivity.vo	01-Feb-2008 00:23	20K
	Inversion.v	31-Jan-2008 21:58	13K
	Inversion.vo	01-Feb-2008 00:23	51K
	Makefile	31-Jan-2008 21:58	35
	Narrowing.v	31-Jan-2008 21:58	9.9K
	Narrowing.vo	01-Feb-2008 00:11	67K
	RussellMinus/	31-Jan-2008 21:58	-
	SubjectReduction.v	31-Jan-2008 21:58	16K
	SubjectReduction.vo	01-Feb-2008 00:23	102K
	Substitution.v	31-Jan-2008 21:58	6.0K
	Substitution.vo	01-Feb-2008 00:11	21K
	Thinning.v	31-Jan-2008 21:58	7.0K
	Thinning.vo	01-Feb-2008 00:11	32K
	Transitivity.v	31-Jan-2008 21:58	27K
	Transitivity.vo	01-Feb-2008 00:23	238K
	Types.v	31-Jan-2008 21:58	7.7K
	Types.vo	01-Feb-2008 00:11	152K
	Unicity.v	31-Jan-2008 21:58	6.7K
	Unicity.vo	01-Feb-2008 00:23	39K
	UnicityOfSorting.v	31-Jan-2008 21:58	1.3K
	UnicityOfSorting.vo	01-Feb-2008 00:11	7.6K
	UnicityOfSortingRange.v	31-Jan-2008 21:58	2.9K
	UnicityOfSortingRange.vo	01-Feb-2008 00:11	15K