1.1 --- a/src/Pure/Thy/thy_header.ML	Thu Mar 15 14:13:49 2012 +0100
     1.2 +++ b/src/Pure/Thy/thy_header.ML	Thu Mar 15 14:22:54 2012 +0100
     1.3 @@ -81,7 +81,7 @@
     1.4  
     1.5  val keyword_kind = Parse.group (fn () => "outer syntax keyword kind") (Parse.name -- Parse.tags);
     1.6  val keyword_decl =
     1.7 -  Scan.repeat1 Parse.name -- Scan.option (Parse.$$$ "::" |-- Parse.!!! keyword_kind) >>
     1.8 +  Scan.repeat1 Parse.string -- Scan.option (Parse.$$$ "::" |-- Parse.!!! keyword_kind) >>
     1.9    (fn (names, kind) => map (rpair kind) names);
    1.10  val keyword_decls = Parse.and_list1 keyword_decl >> flat;
    1.11