--- a/src/HOLCF/Lift3.ML Fri Oct 06 16:17:08 1995 +0100
+++ b/src/HOLCF/Lift3.ML Fri Oct 06 17:25:24 1995 +0100
@@ -347,3 +347,4 @@
(* ------------------------------------------------------------------------ *)
val lift_rews = [lift1,lift2,defined_up];
+