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