src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Wed Apr 13 17:00:02 2016 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Apr 13 18:01:05 2016 +0200
@@ -201,7 +201,7 @@
 
       val theories =
         ($$$(GLOBAL_THEORIES) | $$$(THEORIES)) ~!
-          ((options | success(Nil)) ~ rep(theory_xname)) ^^
+          ((options | success(Nil)) ~ rep(theory_name)) ^^
           { case x ~ (y ~ z) => (x == GLOBAL_THEORIES, y, z) }
 
       val document_files =