Index of /~belinfan/research/autoreas/goedel/wholebiz/tests
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
abstract.m.txt 06-Jan-2001 15:27 775
assert.m.txt 06-Jan-2001 15:27 5.3K
cantor.m.txt 06-Jan-2001 15:27 158
cardinal.m.txt 24-Jun-2003 12:34 2.5K
challeng.m.txt 06-Jan-2001 15:27 1.6K
function.m.txt 06-Jan-2001 15:27 4.6K
funstest.m.txt 06-Jan-2001 15:27 1.6K
hardtest.m.txt 24-Jun-2003 12:35 11K
machines.m.txt 06-Jan-2001 15:27 1.1K
machover.m.txt 25-May-2003 09:43 433
novatest.m.txt 06-Jan-2001 15:27 1.0K
pairtest.m.txt 06-Jan-2001 15:27 1.8K
power.m.txt 06-Jan-2001 15:27 6.3K
qwiktest.m.txt 24-Jun-2003 12:33 58K
slowtest.m.txt 31-Aug-2001 15:13 24K