src/Pure/Thy/thy_header.scala
changeset 56801 8dd9df88f647
parent 55494 009b71c1ed23
child 56823 37be55461dbe
     1.1 --- a/src/Pure/Thy/thy_header.scala	Wed Apr 30 13:11:24 2014 +0200
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Wed Apr 30 22:34:11 2014 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4  
     1.5      val args =
     1.6        theory_name ~
     1.7 -      (opt(keyword(IMPORTS) ~! (rep1(theory_name))) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
     1.8 +      (opt(keyword(IMPORTS) ~! (rep1(theory_xname))) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
     1.9        (opt(keyword(KEYWORDS) ~! keyword_decls) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
    1.10        keyword(BEGIN) ^^
    1.11        { case x ~ ys ~ zs ~ _ => Thy_Header(x, ys, zs) }