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

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 all.cls                                 05-Aug-2000 20:28  5.7K  
 all.pos                                 05-Aug-2000 20:28  2.1K  
 all.txt                                 05-Aug-2000 18:45  1.2K  
 altproof/                               06-Jan-2001 16:00    -   
 labels.txt                              05-Aug-2000 20:09  492   
 proofuse.txt                            05-Aug-2000 20:18  737   
 rev-ap.sum                              04-Aug-2000 16:32  3.5K  
 rev-co.sum                              05-Aug-2000 20:08  1.1K  
 rev-do.sum                              05-Aug-2000 14:56  1.2K  
 rev-fu.sum                              05-Aug-2000 14:56  1.1K  
 rev-im1.sum                             05-Aug-2000 14:56  1.3K  
 rev-im2.sum                             05-Aug-2000 14:56  1.5K  
 rev-im3.sum                             05-Aug-2000 14:56  1.4K  
 rev-im4.sum                             05-Aug-2000 18:54  1.2K  
 rev-in.sum                              05-Aug-2000 20:08  3.8K  
 rev-oo.sum                              05-Aug-2000 20:08  871   
 rev-op.sum                              05-Aug-2000 18:57  2.1K  
 rev-ra.sum                              05-Aug-2000 20:18  1.1K  
 summary.log                             05-Aug-2000 20:18  2.4K