src/HOL/Isar_examples/Puzzle.thy
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
1999-11-17 wenzelm 1999-11-17 added Isar_examples/Puzzle.thy;