Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/geometry

[DIR] Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 01 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->

[ ] axioms.ver1  4.96Kb  March 24 1990
[ ] axioms.ver2  3.48Kb  March 24 1990
[ ] axioms.ver3  3.57Kb  March 24 1990
[ ] e1.1.proof  2.81Kb  March 24 1990
[ ] README  3.79Kb  March 24 1990
[ ] t10.desc  996.00b  March 24 1990
[ ] t10.ver1.clauses  5.06Kb  March 24 1990
[ ] t10.ver1.in  4.44Kb  March 24 1990
[ ] t10.ver1.out  5.12Kb  March 24 1990
[ ] t11.desc  1.02Kb  March 24 1990
[ ] t11.ver1.clauses  4.87Kb  March 24 1990
[ ] t11.ver1.in  4.26Kb  March 24 1990
[ ] t11.ver1.out  3.93Kb  March 24 1990
[ ] t11.ver2.clauses  3.45Kb  March 24 1990
[ ] t11.ver2.in  3.95Kb  March 24 1990
[ ] t11.ver2.out  2.88Kb  March 24 1990
[ ] t11.ver3.clauses  3.44Kb  March 24 1990
[ ] t11.ver3.in  4.01Kb  March 24 1990
[ ] t11.ver3.out  2.94Kb  March 24 1990
[ ] t12.desc  993.00b  March 24 1990
[ ] t12.ver1.clauses  5.49Kb  March 24 1990
[ ] t12.ver1.in  6.17Kb  March 24 1990
[ ] t12.ver1.out  3.62Kb  March 24 1990
[ ] t13.desc  1.01Kb  March 24 1990
[ ] t13.ver1.clauses  5.56Kb  March 24 1990
[ ] t13.ver1.in  6.09Kb  March 24 1990
[ ] t13.ver1.out  5.02Kb  March 24 1990
[ ] t1.desc  919.00b  March 24 1990
[ ] t1.ver1.clauses  4.85Kb  March 24 1990
[ ] t1.ver1.in  3.80Kb  March 24 1990

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01   page 01 of 03
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15   <- Back | Next page ->