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                15-Dec-2010 14:34  4.6K  
 marcel.sml                 08-Sep-2011 14:57  257K  
 marcel09.sml               15-Dec-2010 14:00  252K  
 marcel387.sml              03-Mar-2009 19:54  252K  
 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           08-Sep-2011 14:01  231K  
 marcelmanual.tex           08-Sep-2011 14:01   91K  
 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