src/Pure/Isar/spec_parse.ML
changeset 27378 0968c0d0b969
parent 26361 7946f459c6c8
child 27816 0dfed2f2822a
     1.1 --- a/src/Pure/Isar/spec_parse.ML	Sat Jun 28 15:17:24 2008 +0200
     1.2 +++ b/src/Pure/Isar/spec_parse.ML	Sat Jun 28 15:17:26 2008 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  
     1.5  fun thm_name s = P.name -- opt_attribs --| P.$$$ s;
     1.6  fun opt_thm_name s =
     1.7 -  Scan.optional ((P.name -- opt_attribs || (attribs >> pair "")) --| P.$$$ s) ("", []);
     1.8 +  Scan.optional ((P.name -- opt_attribs || attribs >> pair "") --| P.$$$ s) ("", []);
     1.9  
    1.10  val spec = opt_thm_name ":" -- Scan.repeat1 P.prop;
    1.11  val named_spec = thm_name ":" -- Scan.repeat1 P.prop;