--- a/src/HOLCF/Lift3.ML Mon Feb 17 13:54:24 1997 +0100
+++ b/src/HOLCF/Lift3.ML Mon Feb 17 16:01:16 1997 +0100
@@ -242,4 +242,5 @@
fun cont_tacR i = simp_tac (!simpset addsimps [flift1_def,flift2_def]) i THEN
REPEAT (cont_tac i);
-simpset := !simpset addsolver (K (DEPTH_SOLVE_1 o cont_tac));
+simpset := !simpset addSolver (K (DEPTH_SOLVE_1 o cont_tac));
+
--- a/src/HOLCF/Tr.ML Mon Feb 17 13:54:24 1997 +0100
+++ b/src/HOLCF/Tr.ML Mon Feb 17 16:01:16 1997 +0100
@@ -182,6 +182,3 @@
Addsimps [plift2blift,If_and_if,blift_not_UU,
blift_and_bool,blift_and_bool2,blift_and_bool3];
-
-simpset := !simpset addsolver (K (DEPTH_SOLVE_1 o cont_tac));
-