src/HOL/ex/Puzzle.ML
changeset 10519 ade64af4c57c
parent 9870 2374ba026fc6
child 12486 0ed8bdd883e0