| Sun, 29 Aug 1999 17:52:44 +0200 | wenzelm | added Isar_examples/MutilatedCheckerboard.thy; | file | diff | annotate |
| Sun, 29 Aug 1999 17:47:26 +0200 | wenzelm | The Mutilated Chess Board Problem -- Isar'ized version of HOL/Inductive/Mutil; | file | diff | annotate |