src/HOL/Isar_examples/Puzzle.thy

--- a/src/HOL/Isar_examples/Puzzle.thy	Mon Jun 22 22:51:08 2009 +0200
+++ b/src/HOL/Isar_examples/Puzzle.thy	Mon Jun 22 23:48:24 2009 +0200
@@ -1,7 +1,8 @@
-
 header {* An old chestnut *}
 
-theory Puzzle imports Main begin
+theory Puzzle
+imports Main
+begin
 
 text_raw {*
   \footnote{A question from ``Bundeswettbewerb Mathematik''.  Original