TFL/utils.sig
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;