Index of /~belinfan/research/autoreas/otter/sum/eq

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 all.cls                                 07-Oct-1997 19:37  2.2K  
 all.pos                                 07-Oct-1997 19:37  819   
 all.txt                                 22-Jan-1998 11:21  1.0K  
 eq-1.sum                                08-May-1998 23:21  664   
 eq-2a.sum                               08-May-1998 23:21  893   
 eq-2b.sum                               08-May-1998 23:21  941   
 eq-2c.sum                               08-May-1998 23:21  941   
 eq-2d.sum                               08-May-1998 23:21  910   
 expt/                                   23-Jul-2002 16:21    -   
 labels.txt                              08-May-1998 22:43  276   
 meta-thm/                               23-Jul-2002 16:21    -   
 proofuse.txt                            22-Jan-1998 10:05  268   
 studyall.txt                            09-May-1998 10:03  468   
 summary.log                             08-May-1998 23:22  878