Index of /~patrikj/poly/gendt/Code

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]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 
[DIR]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 
[TXT]ExamplesDAlgebraic.alfa2002-12-06 00:14 1.6K 
[TXT]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 
[DIR]Lib/ 2002-12-03 13:42 -  
[TXT]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 
[TXT]dependencies.txt 2003-03-19 09:57 2.1K 
[TXT]log.txt 2003-04-01 14:50 19K