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

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory                                             -   
[TXT] agenda.txt                              02-Aug-1998 21:41  1.6K  
[DIR] archive/                                23-Jul-2002 16:20    -   
[DIR] ba1/                                    23-Jul-2002 16:20    -   
[DIR] ba2/                                    23-Jul-2002 16:20    -   
[TXT] bigcap.txt                              01-Aug-1998 03:32  2.6K  
[DIR] lb/                                     23-Jul-2002 16:20    -