src/Pure/Isar/spec_parse.ML
changeset 29601 93553f7c722f
parent 29581 b3b33e0298eb
child 30481 de003023c302
     1.1 --- a/src/Pure/Isar/spec_parse.ML	Wed Jan 21 18:37:44 2009 +0100
     1.2 +++ b/src/Pure/Isar/spec_parse.ML	Wed Jan 21 20:20:43 2009 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4    val locale_fixes: (binding * string option * mixfix) list parser
     1.5    val locale_insts: (string option list * (Attrib.binding * string) list) parser
     1.6    val class_expr: string list parser
     1.7 -    val locale_expression: Expression.expression parser
     1.8 +  val locale_expression: Expression.expression parser
     1.9    val locale_keyword: string parser
    1.10    val context_element: Element.context parser
    1.11    val statement: (Attrib.binding * (string * string list) list) list parser