author | wenzelm |
Sat, 29 May 2004 15:10:56 +0200 | |
changeset 14843 | 72607f591d24 |
parent 14842 | 3a1fe2c524d0 |
child 14844 | a15c65e66ee9 |
--- a/src/Pure/Isar/args.ML Sat May 29 15:10:30 2004 +0200 +++ b/src/Pure/Isar/args.ML Sat May 29 15:10:56 2004 +0200 @@ -57,8 +57,6 @@ val attribs: T list -> src list * T list val opt_attribs: T list -> src list * T list val syntax: string -> ('a * T list -> 'b * ('a * T list)) -> src -> 'a -> 'a * 'b - val list: (T list -> 'a * T list) -> T list -> 'a list * T list - val list1: (T list -> 'a * T list) -> T list -> 'a list * T list end; structure Args: ARGS =