--- 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"