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

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 agenda.txt                              13-Feb-2000 22:44  1.3K  
 all.cls                                 13-Feb-2000 22:25  2.5K  
 all.pos                                 13-Feb-2000 22:25  1.0K  
 pn-1.sum                                13-Feb-2000 22:18  3.1K  
 pn-2.sum                                13-Feb-2000 22:18  4.0K  
 summary.log                             13-Feb-2000 22:18  185