--- a/src/Pure/Thy/thy_header.scala Wed Apr 30 13:11:24 2014 +0200
+++ b/src/Pure/Thy/thy_header.scala Wed Apr 30 22:34:11 2014 +0200
@@ -67,7 +67,7 @@
val args =
theory_name ~
- (opt(keyword(IMPORTS) ~! (rep1(theory_name))) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
+ (opt(keyword(IMPORTS) ~! (rep1(theory_xname))) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
(opt(keyword(KEYWORDS) ~! keyword_decls) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
keyword(BEGIN) ^^
{ case x ~ ys ~ zs ~ _ => Thy_Header(x, ys, zs) }