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

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory                                             -   
[TXT] comments.txt                            11-Aug-2002 01:51  2.6K  
[   ] idx1.use                                12-Nov-2000 17:23  1.7K  
[   ] idx2-a.use                              11-Aug-2002 01:51  3.2K  
[   ] idx3-a.use                              28-Dec-2000 11:00  890