Index of /~holmes/marcelstuff/guildfiles

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 JoannaFinal.psc         15-Mar-2007 12:09  811K  
 JoannaFinal.thy1        15-Mar-2007 12:09  3.4K  
 JoannaFinal.thy2        15-Mar-2007 12:09  1.4K  
 JoannaFinal.thy3        15-Mar-2007 12:09   13K  
 READ_ME.txt             22-Jun-2007 15:06  1.1K  
 SQRT.txt                15-Mar-2007 08:25   40K  
 SQRT33.txt              15-Mar-2007 08:25   14K  
 background.txt          15-Mar-2007 08:25   46K  
 guildproofs.txt         15-Mar-2007 08:25   15K  
 marcel.sml              22-Jun-2007 10:48  232K  
 marcelsequent.sml       09-Apr-2007 14:43  325K