# 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;