src/HOL/Isar_examples/MutilatedCheckerboard.thy
1999-10-28 wenzelm 1999-10-28 improved presentation;
1999-10-15 wenzelm 1999-10-15 improved presentation;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-09-21 wenzelm 1999-09-21 accomodate refined facts handling; tuned;
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-09-03 wenzelm 1999-09-03 from hyp;
1999-09-01 wenzelm 1999-09-01 tuned;
1999-08-30 wenzelm 1999-08-30 tuned;
1999-08-29 wenzelm 1999-08-29 added Isar_examples/MutilatedCheckerboard.thy;
1999-08-29 wenzelm 1999-08-29 The Mutilated Chess Board Problem -- Isar'ized version of HOL/Inductive/Mutil;