changeset 3330 | ab7161e593c8 |
parent 3302 | 404fe31fd8d2 |
child 3391 | 5e45dd3b64e9 |
--- a/TFL/utils.sig Mon May 26 12:26:35 1997 +0200 +++ b/TFL/utils.sig Mon May 26 12:27:58 1997 +0200 @@ -31,8 +31,6 @@ val zip3 : 'a list -> 'b list -> 'c list -> ('a*'b*'c) list val take : ('a -> 'b) -> int * 'a list -> 'b list val sort : ('a -> 'a -> bool) -> 'a list -> 'a list - val concat : string -> string -> string - val quote : string -> string end;