diff -r a0f49174dbeb -r 05e5bffcf1d8 src/Pure/PIDE/document.scala
--- a/src/Pure/PIDE/document.scala	Wed Apr 12 21:13:43 2017 +0200
+++ b/src/Pure/PIDE/document.scala	Wed Apr 12 22:32:55 2017 +0200
@@ -99,6 +99,8 @@
     {
       val empty = Name("")
 
+      def loaded_theory(theory: String): Name = Name(theory, "", theory)
+
       object Ordering extends scala.math.Ordering[Name]
       {
         def compare(name1: Name, name2: Name): Int = name1.node compare name2.node
@@ -114,7 +116,6 @@
           case _ => false
         }
 
-      def loaded_theory: Name = Name(theory, "", theory)
       def is_theory: Boolean = theory.nonEmpty
 
       def theory_base_name: String = Long_Name.base_name(theory)