Index of /~rwh/courses/logic/www/software

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 example.aux             26-Jan-2005 17:38    8   
 example.dvi             26-Jan-2005 17:38  1.3K  
 example.log             26-Jan-2005 17:38  2.9K  
 example.tex             26-Jan-2005 17:38  645   
 proof.sty               17-Jan-2005 16:03  9.2K  
 prover.tar              13-Apr-2005 09:00   40K  
 tutch-0.52.tar.gz       05-Jan-2005 16:57  251K  
 tutch-0.52/             25-May-2005 09:26    -   
 tutch/                  25-May-2005 09:26    -