Index of /~belinfan/research/autoreas/otter/use/fp

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 comments.txt                            18-Aug-2002 05:26  2.1K  
 fp-dj.use                               16-Aug-2002 01:42  522   
 fp-fu.use                               18-Aug-2002 05:26  1.0K  
 fp-im.use                               16-Aug-2002 01:42  1.0K  
 fp-sr.use                               16-Aug-2002 01:42  448   
 fp-ub.use                               16-Aug-2002 01:42  603   
 fp1-b.use                               16-Aug-2002 01:40  592   
 fp2-b.use                               16-Aug-2002 01:41  368   
 fp3.use                                 16-Aug-2002 01:41  518   
 fp4.use                                 16-Aug-2002 01:42  417   
 fp5.use                                 16-Aug-2002 01:42  752   
 fp6.use                                 16-Aug-2002 01:42  371