changeset 2222 | a3fb552f10e3 |
parent 1476 | 608483c2122a |
child 8018 | bedd0beabbae |
--- a/src/HOL/ex/Puzzle.thy Mon Nov 25 08:25:39 1996 +0100 +++ b/src/HOL/ex/Puzzle.thy Tue Nov 26 14:26:38 1996 +0100 @@ -1,9 +1,9 @@ -(* Title: HOL/ex/puzzle.thy +(* Title: HOL/ex/Puzzle.thy ID: $Id$ Author: Tobias Nipkow Copyright 1993 TU Muenchen -An question from "Bundeswettbewerb Mathematik" +A question from "Bundeswettbewerb Mathematik" *) Puzzle = Nat +