Index of /~belinfan/research/autoreas/goedel/logs/eqaxioms

Icon  Name                                      Last modified      Size  Description
[DIR] Parent Directory                                               -   
[TXT] axioms.m.txt                              23-Jan-2001 08:40  6.5K  
[TXT] convert.m.txt                             23-Jan-2001 08:39  7.1K  
[TXT] equation.log.txt                          23-Jan-2001 08:37   16K  
[TXT] equation.txt                              23-Jan-2001 08:33  2.0K