TFL/utils.sml
changeset 3330 ab7161e593c8
parent 3302 404fe31fd8d2
child 3391 5e45dd3b64e9
--- a/TFL/utils.sml	Mon May 26 12:26:35 1997 +0200
+++ b/TFL/utils.sml	Mon May 26 12:27:58 1997 +0200
@@ -30,9 +30,6 @@
 
 fun C f x y = f y x
 
-val concat = curry (op ^)
-fun quote s = "\""^s^"\"";
-
 fun itlist f L base_value =
    let fun it [] = base_value
          | it (a::rst) = f a (it rst)