Index of /~holmes/marcelstuff/baileyfiles

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Bailey_Field_1.mlg      23-Feb-2007 09:43   18K  
 Bailey_Field_2.mlg      23-Feb-2007 09:43  7.1K  
 Bailey_Field_3.mlg      23-Feb-2007 09:45  5.8K  
 Bailey_Field_Axioms.txt 23-Feb-2007 09:44  1.5K  
 baileyaxiomtest.txt     15-Mar-2007 10:11  2.5K  
 baileymar30.mlg         30-Mar-2007 16:35  7.6K  
 baileymar30.psc         30-Mar-2007 16:37  117K  
 baileymar30.thy1        30-Mar-2007 16:37  1.6K  
 baileymar30.thy2        30-Mar-2007 16:37  164   
 baileymar30.thy3        30-Mar-2007 16:37  550   
 baileyquery.mlg         16-Mar-2007 08:22   13K  
 baileyscriptapr9.mlg    09-Apr-2007 13:12   24K  
 baileytestapr9.psc      09-Apr-2007 14:02  121K  
 baileytestapr9.thy1     09-Apr-2007 14:02  2.0K  
 baileytestapr9.thy2     09-Apr-2007 14:02  203   
 baileytestapr9.thy3     09-Apr-2007 14:02  705   
 testscript.mlg          09-Apr-2007 14:09  8.0K