src/Pure/pure_syn.scala
changeset 58918 8d36bc5eaed3
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/pure_syn.scala	Thu Nov 06 11:44:41 2014 +0100
@@ -0,0 +1,19 @@
+/*  Title:      Pure/pure_syn.scala
+    Author:     Makarius
+
+Minimal outer syntax for bootstrapping Isabelle/Pure.
+*/
+
+package isabelle
+
+
+object Pure_Syn
+{
+  private val keywords: Thy_Header.Keywords =
+    List(
+      ("theory", Some((("thy_begin", Nil), List("theory"))), None),
+      ("ML_file", Some((("thy_load", Nil), List("ML"))), None))
+
+  def init(): Outer_Syntax = Outer_Syntax.init().add_keywords(keywords)
+}
+