Index of /~avg/ProofChecker

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 BUG.LIST                01-May-2007 15:55  724   
 ExpandTrace.tar         13-May-2007 01:06  180K  
 ExpandTrace/            13-May-2007 00:57    -   
 FMCADattach.tgz         10-May-2007 20:40   58M  
 OldStuff/               30-Apr-2007 22:21    -   
 ProofChecker-filefor..> 09-Jan-2005 23:53   15K  
 README                  01-May-2007 15:57  1.6K  
 RUPkit.tar              23-Apr-2007 01:22   13M  
 RUPkit/                 07-May-2007 02:55    -   
 cert-poster-latex.tar   25-May-2007 17:42  830K  
 cert-poster.pdf         25-May-2007 00:55   40K  
 fileformat_rup.txt      20-Apr-2007 02:43  9.1K  
 ph17.cnf                12-May-2007 14:01   29K  
 ph18.cnf                12-May-2007 14:01   34K  
 proofs-isaim08-long.pdf 29-Sep-2007 17:40  360K  
 proofs-isaim08-trans..> 28-Dec-2007 02:07  156K  
 proofs-progress.pdf     07-Mar-2007 00:28  342K  
 proofs-progress.ps      07-Mar-2007 00:28  246K  
 proofs-sat07-trans.pdf  20-May-2007 23:28   69K  
 rupToRes_32_O3          04-May-2007 03:59  1.2M  
 wkshop-trans.pdf        01-Mar-2008 01:24  156K  
 wkshop-trans.ps         01-Mar-2008 01:24  207K