Index of /~avg/ProofChecker/OldStuff
Name Last modified Size Description
RUPkit-2007.tar.gz 2007-04-23 01:22 3.1M
RUPkit-2009.tar.gz 2009-01-07 00:19 2.6M
ProofChecker.tar 2005-01-10 19:13 107K
ProofChecker-AMD64.tar 2006-09-01 22:04 50K
diffs-11.15-Jan07 2007-02-05 12:12 10K
fileformat_rup-2007.txt 2007-04-20 02:43 9.1K
ProofChecker-filefor..> 2005-01-09 23:54 7.7K
README-sat-2009.txt 2009-01-31 16:27 4.1K
ProofChecker-README 2004-05-23 14:14 1.1K
BUG.LIST-2007 2007-05-01 15:55 724
Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443