# HG changeset patch
# User mueller
# Date 861896313 -7200
# Node ID 50e14d6d894f9eb758b6d450b8a6261358f0e7e1
# Parent  74c5f175aa8e7c3f33c5e4862b407b10ab35462c
only in comments

diff -r 74c5f175aa8e -r 50e14d6d894f src/HOLCF/Lift1.ML
--- a/src/HOLCF/Lift1.ML	Thu Apr 24 17:35:47 1997 +0200
+++ b/src/HOLCF/Lift1.ML	Thu Apr 24 17:38:33 1997 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/Lift1.ML
     ID:         $Id$
-    Author:     Olaf Mueller, Robert Sandner
+    Author:     Olaf Mueller
     Copyright   1996 Technische Universitaet Muenchen
 
 Theorems for Lift1.thy
diff -r 74c5f175aa8e -r 50e14d6d894f src/HOLCF/Lift1.thy
--- a/src/HOLCF/Lift1.thy	Thu Apr 24 17:35:47 1997 +0200
+++ b/src/HOLCF/Lift1.thy	Thu Apr 24 17:38:33 1997 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/Lift1.thy
     ID:         $Id$
-    Author:     Olaf Mueller, Robert Sandner
+    Author:     Olaf Mueller
     Copyright   1996 Technische Universitaet Muenchen
 
 Lifting types of class term to flat pcpo's
diff -r 74c5f175aa8e -r 50e14d6d894f src/HOLCF/Lift2.ML
--- a/src/HOLCF/Lift2.ML	Thu Apr 24 17:35:47 1997 +0200
+++ b/src/HOLCF/Lift2.ML	Thu Apr 24 17:38:33 1997 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/Lift2.ML
     ID:         $Id$
-    Author:     Olaf Mueller, Robert Sandner
+    Author:     Olaf Mueller
     Copyright   1996 Technische Universitaet Muenchen
 
 Theorems for Lift2.thy
diff -r 74c5f175aa8e -r 50e14d6d894f src/HOLCF/Lift2.thy
--- a/src/HOLCF/Lift2.thy	Thu Apr 24 17:35:47 1997 +0200
+++ b/src/HOLCF/Lift2.thy	Thu Apr 24 17:38:33 1997 +0200
@@ -1,6 +1,6 @@
 (*  Title:      HOLCF/Lift2.thy
     ID:         $Id$
-    Author:     Olaf Mueller, Robert Sandner
+    Author:     Olaf Mueller
     Copyright   1996 Technische Universitaet Muenchen
 
 Class Instance lift::(term)po