# HG changeset patch
# User mueller
# Date 864136956 -7200
# Node ID 9328e9ebe32592bf6bcfd0d6c1a510c87344557f
# Parent  e92d1cfbc55d4af72d6080960a7e80ed7709c60c
deleted duplicate rewrite rules of lift.simps

diff -r e92d1cfbc55d -r 9328e9ebe325 src/HOLCF/Lift3.ML
--- 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;