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

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 all.cls                                 26-Nov-2000 17:38  3.7K  
 all.pos                                 26-Nov-2000 17:38  1.3K  
 all.txt                                 26-Nov-2000 17:42  537   
 glb-co-1.sum                            25-Nov-2000 14:58  1.2K  
 glb-e.sum                               26-Nov-2000 17:13  2.1K  
 glb-e.txt                               26-Nov-2000 18:08  1.3K  
 glb-fu-1.sum                            25-Nov-2000 14:58  1.9K  
 glb-fu-2.sum                            25-Nov-2000 15:37  1.9K  
 glb-lt.sum                              26-Nov-2000 17:15  1.9K  
 glb-v.sum                               25-Nov-2000 14:08  1.0K  
 labels.txt                              26-Nov-2000 18:02  423   
 proofuse.txt                            26-Nov-2000 18:03  388   
 studyall.txt                            26-Nov-2000 18:03  1.1K  
 summary.log                             26-Nov-2000 17:15  876