--- a/src/HOL/Tools/TFL/utils.ML Mon Jun 01 13:35:16 2015 +0200
+++ b/src/HOL/Tools/TFL/utils.ML Mon Jun 01 13:46:23 2015 +0200
@@ -7,7 +7,6 @@
signature UTILS =
sig
exception ERR of {module: string, func: string, mesg: string}
- val C: ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
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
@@ -24,8 +23,6 @@
fun UTILS_ERR func mesg = ERR {module = "Utils", func = func, mesg = mesg};
-fun C f x y = f y x
-
fun end_itlist f [] = raise (UTILS_ERR "end_itlist" "list too short")
| end_itlist f [x] = x
| end_itlist f (x :: xs) = f x (end_itlist f xs);