src/Pure/Isar/parse_spec.ML
changeset 40800 330eb65c9469
parent 40793 d21aedaa91e7
child 42287 d98eb048a2e4
     1.1 --- a/src/Pure/Isar/parse_spec.ML	Sun Nov 28 20:36:45 2010 +0100
     1.2 +++ b/src/Pure/Isar/parse_spec.ML	Sun Nov 28 21:07:28 2010 +0100
     1.3 @@ -37,10 +37,7 @@
     1.4  
     1.5  (* theorem specifications *)
     1.6  
     1.7 -val attrib =
     1.8 -  Parse.position ((Parse.keyword_ident_or_symbolic || Parse.xname) -- Parse.!!! Args.parse)
     1.9 -  >> Args.src;
    1.10 -
    1.11 +val attrib = Parse.position (Parse.liberal_name -- Parse.!!! Args.parse) >> Args.src;
    1.12  val attribs = Parse.$$$ "[" |-- Parse.list attrib --| Parse.$$$ "]";
    1.13  val opt_attribs = Scan.optional attribs [];
    1.14