--- 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