diff -r b4a170f7d658 -r 9a39eabfa17b TFL/utils.sig
--- a/TFL/utils.sig	Tue Sep 05 18:51:49 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-(*  Title:      TFL/utils
-    ID:         $Id$
-    Author:     Konrad Slind, Cambridge University Computer Laboratory
-    Copyright   1997  University of Cambridge
-
-Basic utilities
-*)
-
-signature Utils_sig =
-sig
-  exception ERR of {module:string,func:string, mesg:string}
-
-  val can   : ('a -> 'b) -> 'a -> bool
-  val holds : ('a -> bool) -> 'a -> bool
-  val C : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
-
-  val itlist : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b
-  val rev_itlist : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b
-  val end_itlist : ('a -> 'a -> 'a) -> 'a list -> 'a
-  val itlist2 :('a -> 'b -> 'c -> 'c) -> 'a list -> 'b list -> 'c -> 'c
-  val pluck : ('a -> bool) -> 'a list -> 'a * 'a list
-  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
-
-end;
-