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

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory                                             -   
[TXT] comments.txt                            14-Aug-2002 11:06  1.4K  
[   ] ind1.use                                06-Feb-2000 08:55  761   
[   ] ind2-a.use                              14-Aug-2002 11:06  2.5K  
[   ] ind2.use                                29-Apr-2000 22:32  2.5K