Index of /~belinfan/research/autoreas/otter/standard

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 labels.txt                          18-Aug-2002 08:38  275K  
 standard.in                         18-Aug-2002 08:38   34K  
 standard.in.txt                     20-Jun-2003 08:41   34K  
 standard.out                        18-Aug-2002 08:38  416K  
 standard.out.txt                    20-Jun-2003 08:41  417K  
 standard.txt                        08-Jan-2001 08:24  2.0K