# HG changeset patch
# User wenzelm
# Date 1223123382 -7200
# Node ID c5f86d04743b3c0a75ea69e7672f432aa7a7a3c0
# Parent  5350b32e1525e7be38074432572c832387116558
Theory header keywords.

diff -r 5350b32e1525 -r c5f86d04743b 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)
+}