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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]Basic.v31-Jan-2008 21:58 2.1K
[   ]Basic.vo01-Feb-2008 00:13 17K
[   ]Coercion.v31-Jan-2008 21:58 3.3K
[   ]Coercion.vo01-Feb-2008 00:13 24K
[   ]Conversion.v31-Jan-2008 21:58 3.4K
[   ]Conversion.vo01-Feb-2008 00:13 24K
[   ]Freevars.v31-Jan-2008 21:58 4.5K
[   ]Freevars.vo01-Feb-2008 00:23 104K
[   ]Generation.v31-Jan-2008 21:58 13K
[   ]Generation.vo01-Feb-2008 00:13 148K
[   ]GenerationCoerce.v31-Jan-2008 21:58 9.3K
[   ]GenerationCoerce.vo01-Feb-2008 00:14 55K
[   ]GenerationNotKind.v31-Jan-2008 21:58 4.5K
[   ]GenerationNotKind.vo01-Feb-2008 00:14 33K
[   ]GenerationRange.v31-Jan-2008 21:58 13K
[   ]GenerationRange.vo01-Feb-2008 00:14 108K
[TXT]Makefile31-Jan-2008 21:58 35
[   ]PreFunctionality.v31-Jan-2008 21:58 3.4K
[   ]PreFunctionality.vo01-Feb-2008 00:13 25K
[   ]SubjectReduction.v31-Jan-2008 21:58 16K
[   ]Substitution.v31-Jan-2008 21:58 6.1K
[   ]Substitution.vo01-Feb-2008 00:13 45K
[   ]Thinning.v31-Jan-2008 21:58 8.5K
[   ]Thinning.vo01-Feb-2008 00:13 50K
[   ]Types.v31-Jan-2008 21:58 7.3K
[   ]Types.vo01-Feb-2008 00:13 167K
[   ]UnicityOfSorting.v31-Jan-2008 21:58 934
[   ]UnicityOfSorting.vo01-Feb-2008 00:14 7.0K
[   ]UnicityOfSortingRange.v31-Jan-2008 21:58 6.3K
[   ]UnicityOfSortingRange.vo01-Feb-2008 00:14 61K
[   ]Validity.v31-Jan-2008 21:58 13K
[   ]Validity.vo01-Feb-2008 00:14 59K

Apache/2.2.3 (Debian) Server at www.mattam.org Port 80