Index of /~belinfan/research/autoreas/otter/sum/ax-a

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 all.cls                                 22-Jul-1997 08:39  2.8K  
 all.pos                                 22-Jul-1997 08:38  1.4K  
 all.txt                                 22-Jul-1997 09:18  607   
 auto.txt                                22-Jul-1997 09:17  934   
 discover.txt                            06-Jan-1998 10:25  2.3K