Index of /~belinfan/research/autoreas/otter/sum/cp/1

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 all.cls                                    04-Jul-1998 17:07  4.2K  
 all.pos                                    04-Jul-1998 17:06  1.5K  
 all.txt                                    24-Dec-1997 17:20  339   
 comments.txt                               06-Sep-1995 12:21  662   
 cp-1.sum                                   15-Jul-1997 07:10  2.1K  
 cp-1a.sum                                  15-Jul-1997 07:10  1.0K  
 cp-2.sum                                   15-Jul-1997 07:10  1.1K  
 cp-2a.sum                                  15-Jul-1997 07:10  1.2K  
 cp-2b.sum                                  15-Jul-1997 07:10  1.2K  
 cp-2c.sum                                  15-Jul-1997 07:10  1.2K  
 cp-3a.sum                                  15-Jul-1997 07:10  1.2K  
 cp-3b.sum                                  15-Jul-1997 07:10  1.3K  
 cp-3c.sum                                  15-Jul-1997 07:10  1.2K  
 cp-4a.sum                                  15-Jul-1997 07:10  1.0K  
 cp-4b.sum                                  15-Jul-1997 07:10  1.0K  
 cp-v-0.sum                                 04-Jul-1998 17:06  691   
 ez/                                        23-Jul-2002 16:21    -   
 summary.log                                04-Jul-1998 17:04  756