src/Pure/Isar/outer_syntax.scala

--- a/src/Pure/Isar/outer_syntax.scala	Tue Aug 21 11:00:54 2012 +0200
+++ b/src/Pure/Isar/outer_syntax.scala	Tue Aug 21 12:15:25 2012 +0200
@@ -35,7 +35,11 @@
   }
 
   val empty: Outer_Syntax = new Outer_Syntax()
+
   def init(): Outer_Syntax = new Outer_Syntax(completion = Completion.init())
+
+  def init_pure(): Outer_Syntax =
+    init() + ("theory", Keyword.THY_BEGIN) + ("ML_file", Keyword.THY_LOAD)
 }
 
 final class Outer_Syntax private(