Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/logic.problems/morgan

[DIR] Parent Directory

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

[ ] morgan.five.desc  1.31Kb  March 24 1990
[ ] morgan.five.ver1.clauses  925.00b  March 24 1990
[ ] morgan.five.ver1.in  991.00b  March 24 1990
[ ] morgan.five.ver1.out  2.98Kb  March 24 1990
[ ] morgan.five.ver2.clauses  1003.00b  March 24 1990
[ ] morgan.five.ver2.in  1.04Kb  March 24 1990
[ ] morgan.five.ver2.out  157.00b  March 24 1990
[ ] morgan.four.desc  924.00b  March 24 1990
[ ] morgan.four.ver1.clauses  987.00b  March 24 1990
[ ] morgan.four.ver1.in  1.03Kb  March 24 1990
[ ] morgan.four.ver1.out  3.08Kb  March 24 1990
[ ] morgan.one.desc  870.00b  March 24 1990
[ ] morgan.one.ver1.clauses  915.00b  March 24 1990
[ ] morgan.one.ver1.in  981.00b  March 24 1990
[ ] morgan.one.ver1.out  2.79Kb  March 24 1990
[ ] morgan.six.desc  884.00b  March 24 1990
[ ] morgan.six.ver1.clauses  903.00b  March 24 1990
[ ] morgan.six.ver1.in  957.00b  March 24 1990
[ ] morgan.six.ver1.out  156.00b  March 24 1990
[ ] morgan.three.desc  1.29Kb  March 24 1990
[ ] morgan.three.ver1.clauses  1.09Kb  March 24 1990
[ ] morgan.three.ver1.in  1.16Kb  March 24 1990
[ ] morgan.three.ver1.out  2.72Kb  March 24 1990
[ ] morgan.three.ver2.clauses  1.06Kb  March 24 1990
[ ] morgan.three.ver2.in  1.13Kb  March 24 1990
[ ] morgan.three.ver2.out  2.72Kb  March 24 1990
[ ] morgan.two.desc  917.00b  March 24 1990
[ ] morgan.two.ver1.clauses  986.00b  March 24 1990
[ ] morgan.two.ver1.in  1.03Kb  March 24 1990
[ ] morgan.two.ver1.out  3.08Kb  March 24 1990

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