Index of /~belinfan/research/autoreas/otter/sum/choice/ac-old

 Name                                           Last modified      Size  Description
 Parent Directory                                                    -   
 ac-1.sum                                       14-Jul-1997 21:19  703   
 ac-2.sum                                       14-Jul-1997 21:19  685   
 ac-3.sum                                       14-Jul-1997 21:19  1.3K  
 ac-4.sum                                       14-Jul-1997 21:19  1.1K  
 ac-5.sum                                       14-Jul-1997 21:19  2.5K  
 all.cls                                        18-Jul-1997 07:56  2.2K  
 all.pos                                        18-Jul-1997 07:55  880   
 comments.txt                                   12-Jul-1997 21:23  2.2K  
 summary.log                                    14-Jul-1997 21:19  208