Index of ftp://ftp.cs.man.ac.uk/pub/schmidt/TANCS2000

[DIR] Parent Directory

[ ] dfg1.tbz  157.78Kb  May 9 2003
[ ] dfg2.tbz  565.96Kb  May 9 2003
[ ] dfg3.tbz  615.26Kb  May 9 2003
[ ] dfg4.tbz  95.12Kb  May 9 2003
[ ] tptp1.tbz  347.18Kb  December 7 2001
[ ] tptp2.tbz  787.60Kb  December 7 2001
[ ] tptp3.tbz  2.64Mb  December 7 2001
[ ] tptp4.tbz  1.09Mb  December 18 2001