| changeset 30513 | 1796b8ea88aa |
| parent 29428 | 3ab54b42ded8 |
| child 30573 | 49899f26fbd1 |
--- a/src/Pure/Isar/outer_syntax.ML Fri Mar 13 21:24:21 2009 +0100 +++ b/src/Pure/Isar/outer_syntax.ML Fri Mar 13 21:25:15 2009 +0100 @@ -9,7 +9,6 @@ signature OUTER_SYNTAX = sig - type 'a parser = 'a OuterParse.parser val command: string -> string -> OuterKeyword.T -> (Toplevel.transition -> Toplevel.transition) parser -> unit val markup_command: ThyOutput.markup -> string -> string -> OuterKeyword.T ->