Index of /~patrikj/poly/gendt/Code

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