src/Pure/Thy/thy_header.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Thy/thy_header.scala	Sat Oct 04 14:29:42 2008 +0200
@@ -0,0 +1,19 @@
+/*  Title:      Pure/Thy/thy_header.scala
+    ID:         $Id$
+    Author:     Makarius
+
+Theory header keywords.
+*/
+
+package isabelle
+
+object ThyHeader {
+
+  val HEADER = "header"
+  val THEORY = "theory"
+  val IMPORTS = "imports"
+  val USES = "uses"
+  val BEGIN = "begin"
+
+  val keywords = List("%", "(", ")", ";", BEGIN, HEADER, IMPORTS, THEORY, USES)
+}