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

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory                                             -   
[DIR] 1/                                      20-Aug-2007 11:14    -   
[DIR] 2/                                      20-Aug-2007 11:14    -   
[TXT] agenda.txt                              04-Dec-1997 13:03  961   
[TXT] cut-fp-a.sum                            02-Aug-1999 13:44  2.4K  
[TXT] cut-fp-b.sum                            02-Aug-1999 13:44  3.1K  
[TXT] cut-fp-b.txt                            02-Aug-1999 14:05  303