# HG changeset patch
# User oheimb
# Date 856191676 -3600
# Node ID 099a9155f608ac7878803db59d83a6c86fef2e02
# Parent  9d3a3e62bf34c93a3f8b73e75fde92d79181479c
reflecting recent changes of the simplifier

diff -r 9d3a3e62bf34 -r 099a9155f608 src/HOLCF/Lift3.ML
--- 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));
+
diff -r 9d3a3e62bf34 -r 099a9155f608 src/HOLCF/Tr.ML
--- 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));
-