Index of /~holmes/marcelstuff

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 JoannaThesis.pdf           20-Jun-2007 13:05  219K  
 SQRT28.txt                 19-Jan-2007 14:44   17K  
 SQRT33.txt                 01-Feb-2007 21:44   14K  
 SQRTlemmas.txt             01-Feb-2007 22:21   10K  
 baileyfiles/               09-Apr-2007 14:08    -   
 bussproofs.sty             03-Jan-2007 21:57   32K  
 guildfiles/                22-Jun-2007 15:03    -   
 guildpfs.txt               01-Feb-2007 21:44   15K  
 guildproject.txt           01-Feb-2007 21:44   46K  
 inductionfile.txt          09-Mar-2007 14:50  2.6K  
 joannaproofs.mlg           23-Jan-2007 10:07  567K  
 joannatest.psc             05-Feb-2007 12:48  811K  
 joannatest.thy1            05-Feb-2007 12:48  3.4K  
 joannatest.thy2            05-Feb-2007 12:48  1.4K  
 joannatest.thy3            05-Feb-2007 12:48   13K  
 landau2.txt                14-Aug-2007 19:58   28K  
 marcel.html                22-Jun-2007 15:22  3.9K  
 marcel.sml                 07-May-2008 20:44  241K  
 marcelmanual.aux           06-Feb-2008 17:14  4.1K  
 marcelmanual.dvi           06-Feb-2008 17:14  123K  
 marcelmanual.log           06-Feb-2008 17:14  8.2K  
 marcelmanual.pdf           06-Feb-2008 17:15  199K  
 marcelmanual.tex           06-Feb-2008 16:53   90K  
 marcelmanual.toc           06-Feb-2008 17:14  3.2K  
 marcelsequent.sml          09-Apr-2007 14:43  325K  
 privateguild.mlg           08-Jan-2007 16:23   11K  
 privateguild.txt           10-Jan-2007 17:01   51K  
 renamedstewartexamples.txt 03-Jul-2007 18:51  2.4K  
 settheory.txt              22-Jun-2007 14:42   12K