--- a/src/HOLCF/Lift3.ML Tue May 20 16:01:03 1997 +0200
+++ b/src/HOLCF/Lift3.ML Tue May 20 16:02:36 1997 +0200
@@ -60,7 +60,7 @@
end; (* local *)
-Delsimps lift.simps;
+Delsimps Lift1.lift.simps;
Delsimps [inst_lift_pcpo];
Addsimps [inst_lift_pcpo RS sym];
Addsimps lift.simps;