reflecting recent changes of the simplifier
authorslotosch
Mon Feb 17 16:50:17 1997 +0100 (1997-02-17)
changeset 26489944bea3b459
parent 2647 83c9bdff7fdc
child 2649 2edc5b01e5a7
reflecting recent changes of the simplifier
src/HOLCF/Lift3.ML
     1.1 --- a/src/HOLCF/Lift3.ML	Mon Feb 17 16:31:37 1997 +0100
     1.2 +++ b/src/HOLCF/Lift3.ML	Mon Feb 17 16:50:17 1997 +0100
     1.3 @@ -243,4 +243,3 @@
     1.4  		  REPEAT (cont_tac i);
     1.5  
     1.6  simpset := !simpset addSolver (K (DEPTH_SOLVE_1 o cont_tac));
     1.7 -