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

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 all.cls                                 16-Aug-2000 23:53  3.1K  
 all.pos                                 16-Aug-2000 23:53  1.2K  
 dif-ap1.sum                             16-Aug-2000 23:52  5.7K  
 dif-do.sum                              18-Aug-2000 13:55  3.5K  
 dif-fu.sum                              16-Aug-2000 15:17  1.1K  
 dif.txt                                 16-Aug-2000 11:48  453   
 labels.txt                              16-Aug-2000 15:17   44   
 summary.log                             18-Aug-2000 13:55  733