diff -r 125260ef480c -r dd2e5e655fd2 src/HOLCF/Lift1.ML
--- a/src/HOLCF/Lift1.ML	Mon Dec 09 19:16:20 1996 +0100
+++ b/src/HOLCF/Lift1.ML	Mon Dec 09 19:27:07 1996 +0100
@@ -1,4 +1,11 @@
-(* Lift1.ML *)
+(*  Title:      HOLCF/Lift1.ML
+    ID:         $Id$
+    Author:     Olaf Mueller, Robert Sandner
+    Copyright   1996 Technische Universitaet Muenchen
+
+Theorems for Lift1.thy
+*)
+
 
 open Lift1;