1.1 --- a/src/HOLCF/Lift3.ML	Tue May 20 16:01:03 1997 +0200
     1.2 +++ b/src/HOLCF/Lift3.ML	Tue May 20 16:02:36 1997 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  
     1.5  end; (* local *)
     1.6  
     1.7 -Delsimps lift.simps;
     1.8 +Delsimps Lift1.lift.simps;
     1.9  Delsimps [inst_lift_pcpo];
    1.10  Addsimps [inst_lift_pcpo RS sym];
    1.11  Addsimps lift.simps;