diff -r 696d64ed85da -r 375db037f4d2 src/Pure/Thy/thy_header.scala
--- a/src/Pure/Thy/thy_header.scala	Sat Aug 29 12:01:25 2009 +0200
+++ b/src/Pure/Thy/thy_header.scala	Sat Aug 29 14:31:39 2009 +0200
@@ -6,8 +6,9 @@
 
 package isabelle
 
-object ThyHeader {
 
+object ThyHeader
+{
   val HEADER = "header"
   val THEORY = "theory"
   val IMPORTS = "imports"