Index of /~belinfan/research/autoreas/otter/sum/dedekind/altproof

 Name                                             Last modified      Size  Description
 Parent Directory                                                      -   
 dkom-q2'.sum                                     12-Jun-2000 12:30  1.7K  
 summary.log                                      12-Jun-2000 12:30  146