src/Pure/Thy/thy_info.scala

--- a/src/Pure/Thy/thy_info.scala	Thu Apr 03 20:17:12 2014 +0200
+++ b/src/Pure/Thy/thy_info.scala	Thu Apr 03 20:53:35 2014 +0200
@@ -31,7 +31,7 @@
     name: Document.Node.Name,
     header: Document.Node.Header)
   {
-    def loaded_files(syntax: Outer_Syntax): List[String] =
+    def loaded_files(syntax: Prover.Syntax): List[String] =
     {
       val string = resources.with_thy_text(name, _.toString)
       resources.loaded_files(syntax, string)
@@ -80,7 +80,7 @@
       header_errors ::: import_errors
     }
 
-    lazy val syntax: Outer_Syntax = resources.base_syntax.add_keywords(keywords)
+    lazy val syntax: Prover.Syntax = resources.base_syntax.add_keywords(keywords)
 
     def loaded_theories: Set[String] =
       (resources.loaded_theories /: rev_deps) { case (loaded, dep) => loaded + dep.name.theory }