changeset 1465 | 5d7a7e439cec |
parent 1266 | 3ae9fe3c0f68 |
child 1673 | d22110ddd0af |
--- a/src/HOL/ex/Puzzle.ML Tue Jan 30 15:19:20 1996 +0100 +++ b/src/HOL/ex/Puzzle.ML Tue Jan 30 15:24:36 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/ex/puzzle.ML +(* Title: HOL/ex/puzzle.ML ID: $Id$ - Author: Tobias Nipkow + Author: Tobias Nipkow Copyright 1993 TU Muenchen For puzzle.thy. A question from "Bundeswettbewerb Mathematik"