src/HOLCF/Lift3.ML

--- a/src/HOLCF/Lift3.ML	Mon Dec 09 19:16:20 1996 +0100
+++ b/src/HOLCF/Lift3.ML	Mon Dec 09 19:27:07 1996 +0100
@@ -1,11 +1,14 @@
-(* Lift3.ML *)
+(*  Title:      HOLCF/Lift3.ML
+    ID:         $Id$
+    Author:     Olaf Mueller, Robert Sandner
+    Copyright   1996 Technische Universitaet Muenchen
+
+Theorems for Lift3.thy
+*)
+
 
 open Lift3;
 
-
-
-
-
 (* ----------------------------------------------------------- *)
 (*                        From Undef to UU		       *)
 (* ----------------------------------------------------------- *)