changeset 56035 | 745f568837f1 |
parent 56033 | 513c2b0ea565 |
child 56037 | 7b716baac02c |
--- a/src/Pure/Isar/args.ML Mon Mar 10 21:15:29 2014 +0100 +++ b/src/Pure/Isar/args.ML Mon Mar 10 21:40:39 2014 +0100 @@ -10,7 +10,6 @@ type src val src: xstring * Position.T -> Token.T list -> src val name_of_src: src -> string * Position.T - val args_of_src: src -> Token.T list val range_of_src: src -> Position.T val unparse_src: src -> string list val pretty_src: Proof.context -> src -> Pretty.T