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

[DIR] Parent Directory

[ ] animals.desc  1.04Kb  March 24 1990
[ ] animals.ver1.clauses  1.66Kb  March 24 1990
[ ] animals.ver1.in  1.79Kb  March 24 1990
[ ] animals.ver1.out  3.22Kb  March 24 1990
[ ] boys.desc  3.12Kb  March 24 1990
[ ] boys.ver1.clauses  4.41Kb  March 24 1990
[ ] boys.ver1.in  4.49Kb  March 24 1990
[ ] boys.ver1.out  21.60Kb  March 24 1990
[ ] ggson.desc  1.15Kb  March 24 1990
[ ] ggson.ver1.clauses  1.81Kb  March 24 1990
[ ] ggson.ver1.in  1.91Kb  March 24 1990
[ ] ggson.ver1.out  15.05Kb  March 24 1990
[ ] letters.desc  1.19Kb  March 24 1990
[ ] letters.ver1.clauses  1.26Kb  March 24 1990
[ ] letters.ver1.in  1.33Kb  March 24 1990
[ ] letters.ver1.out  6.75Kb  March 24 1990
[ ] lizard.desc  1.02Kb  March 24 1990
[ ] lizard.ver1.clauses  1.44Kb  March 24 1990
[ ] lizard.ver1.in  1.51Kb  March 24 1990
[ ] lizard.ver1.out  26.01Kb  March 24 1990
[ ] pigs.desc  1.18Kb  March 24 1990
[ ] pigs.ver1.clauses  1.73Kb  March 24 1990
[ ] pigs.ver1.in  1.78Kb  March 24 1990
[ ] pigs.ver1.out  4.04Kb  March 24 1990
[ ] README  2.03Kb  March 24 1990
[ ] winds.desc  1.29Kb  March 24 1990
[ ] winds.ver1.clauses  1.63Kb  March 24 1990
[ ] winds.ver1.in  1.70Kb  March 24 1990
[ ] winds.ver1.out  3.55Kb  March 24 1990