Index of /~patrikj/poly/gendt/Code

[ICO]NameLast modifiedSizeDescription

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