Index of /~avg/ProofChecker/OldStuff

 Name                    Last modified      Size  Description
 fileformat_rup-2007.txt 2007-04-20 02:43  9.1K  
 diffs-11.15-Jan07       2007-02-05 12:12   10K  
 RUPkit-2009.tar.gz      2009-01-07 00:19  2.6M  
 RUPkit-2007.tar.gz      2007-04-23 01:22  3.1M  
 README-sat-2009.txt     2009-01-31 16:27  4.1K  
 ProofChecker.tar        2005-01-10 19:13  107K  
 ProofChecker-filefor..> 2005-01-09 23:54  7.7K  
 ProofChecker-README     2004-05-23 14:14  1.1K  
 ProofChecker-AMD64.tar  2006-09-01 22:04   50K  
 BUG.LIST-2007           2007-05-01 15:55  724