Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Algebraic.alfa | 2003-04-01 14:50 | 1.2K | ||
Algebraic1Par.alfa | 2003-04-01 14:50 | 3.1K | ||
And.alfa | 2003-03-12 08:21 | 57 | ||
BST.alfa | 2002-12-09 20:00 | 1.5K | ||
CrushDAlgebraic1Par...> | 2002-12-05 15:32 | 837 | ||
DAlgebraic.alfa | 2003-04-01 14:50 | 6.5K | ||
DAlgebraic/ | 2003-04-01 14:50 | - | ||
DAlgebraic1Par.alfa | 2003-04-01 14:50 | 1.7K | ||
DAlgebraic2.alfa | 2003-04-01 14:50 | 5.2K | ||
DInd.alfa | 2003-04-01 14:50 | 3.9K | ||
DInd1Par.alfa | 2002-12-05 15:32 | 2.4K | ||
DatoidBase.alfa | 2003-03-18 16:28 | 106 | ||
EqBase.alfa | 2003-04-01 14:50 | 3.0K | ||
EqZipUtil.alfa | 2002-12-05 15:32 | 612 | ||
Even.alfa | 2002-12-05 15:32 | 1.1K | ||
ExamplesDAlgebraic.alfa | 2002-12-06 00:14 | 1.6K | ||
ExamplesDAlgebraic2...> | 2002-12-05 15:32 | 1.5K | ||
HomoDatoid.alfa | 2003-03-21 14:59 | 6.5K | ||
HomoFin.alfa | 2003-04-01 14:50 | 3.1K | ||
Homogenous.alfa | 2003-04-01 14:50 | 6.4K | ||
Homogenous1.alfa | 2002-12-05 15:32 | 4.4K | ||
HomogenousVec.alfa | 2002-12-04 22:42 | 2.1K | ||
IndFam.alfa | 2003-04-01 14:50 | 2.0K | ||
Infinitary.alfa | 2003-04-01 14:50 | 2.5K | ||
Iterated.alfa | 2003-04-01 14:50 | 5.1K | ||
Lib/ | 2002-12-03 13:42 | - | ||
MBSet.alfa | 2003-04-01 14:50 | 2.9K | ||
ManySorted.alfa | 2003-04-01 14:50 | 4.3K | ||
ManySortedReflexivit..> | 2003-03-18 08:58 | 825 | ||
ManySortedUnused.alfa | 2003-03-16 15:34 | 635 | ||
NitP.alfa | 2002-12-05 15:33 | 1.0K | ||
Prelude.alfa | 2003-03-18 08:58 | 775 | ||
Reflexive.alfa | 2003-02-11 10:20 | 4.8K | ||
Sigma.alfa | 2003-03-12 08:21 | 142 | ||
TVec.alfa | 2002-12-05 15:33 | 761 | ||
TestZip.alfa | 2002-12-05 15:33 | 799 | ||
Tools.alfa | 2003-04-01 14:50 | 10K | ||
ZipBase.alfa | 2003-04-01 14:50 | 3.7K | ||
ZipDAlgebraic1Par.alfa | 2002-12-05 15:33 | 2.8K | ||
ZipDInd1Par.alfa | 2002-12-05 15:33 | 3.6K | ||
dependencies.txt | 2003-03-19 09:57 | 2.1K | ||
log.txt | 2003-04-01 14:50 | 19K | ||