Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/puzzles/combinators

[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 ->

[ ] bird1.desc  536.00b  March 24 1990
[ ] bird1.ver1.clauses  1.03Kb  March 24 1990
[ ] bird1.ver1.in  1.40Kb  March 24 1990
[ ] bird1.ver1.out  2.75Kb  March 24 1990
[ ] bird2.desc  505.00b  March 24 1990
[ ] bird2.ver1.clauses  974.00b  March 24 1990
[ ] bird2.ver1.in  1.35Kb  March 24 1990
[ ] bird2.ver1.out  2.92Kb  March 24 1990
[ ] bird4.desc  682.00b  March 24 1990
[ ] bird4.ver1.clauses  1.27Kb  March 24 1990
[ ] bird4.ver1.in  1.58Kb  March 24 1990
[ ] bird4.ver1.out  2.96Kb  March 24 1990
[ ] bird4.ver2.clauses  1.60Kb  March 24 1990
[ ] bird4.ver2.in  1.87Kb  March 24 1990
[ ] bird4.ver2.out  3.24Kb  March 24 1990
[ ] bird5.desc  522.00b  March 24 1990
[ ] bird5.ver1.clauses  1015.00b  March 24 1990
[ ] bird5.ver1.in  1.30Kb  March 24 1990
[ ] bird5.ver1.out  2.79Kb  March 24 1990
[ ] bird6.desc  509.00b  March 24 1990
[ ] bird6.ver1.clauses  1.11Kb  March 24 1990
[ ] bird6.ver1.in  1.41Kb  March 24 1990
[ ] bird6.ver1.out  2.93Kb  March 24 1990
[ ] bird7.desc  494.00b  March 24 1990
[ ] bird7.ver1.clauses  959.00b  March 24 1990
[ ] bird7.ver1.in  1.23Kb  March 24 1990
[ ] bird7.ver1.out  2.62Kb  March 24 1990
[ ] bird8.desc  483.00b  March 24 1990
[ ] bird8.ver1.clauses  1.07Kb  March 24 1990
[ ] bird8.ver1.in  1.41Kb  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 ->