--- a/src/Pure/Syntax/syntax.ML Fri Jun 13 21:04:12 2008 +0200
+++ b/src/Pure/Syntax/syntax.ML Fri Jun 13 21:04:42 2008 +0200
@@ -42,7 +42,7 @@
val read: Proof.context -> (string -> bool) -> syntax -> typ -> string -> term list
val standard_parse_term: Pretty.pp -> (term -> string option) ->
(((string * int) * sort) list -> string * int -> Term.sort) ->
- (string -> string option) -> (string -> string option) ->
+ (string -> bool * string) -> (string -> string option) ->
(typ -> typ) -> (sort -> sort) -> Proof.context ->
(string -> bool) -> syntax -> typ -> string -> term
val standard_parse_typ: Proof.context -> syntax ->