src/HOL/UNITY/Lift.thy

--- a/src/HOL/UNITY/Lift.thy	Wed Sep 02 16:52:06 1998 +0200
+++ b/src/HOL/UNITY/Lift.thy	Thu Sep 03 16:40:02 1998 +0200
@@ -4,8 +4,6 @@
     Copyright   1998  University of Cambridge
 
 The Lift-Control Example
-
-
 *)
 
 Lift = SubstAx +