src/HOLCF/ex/ROOT.ML

--- a/src/HOLCF/ex/ROOT.ML	Sat Nov 03 18:41:13 2001 +0100
+++ b/src/HOLCF/ex/ROOT.ML	Sat Nov 03 18:41:28 2001 +0100
@@ -1,7 +1,5 @@
 (*  Title:      HOLCF/ex/ROOT.ML
     ID:         $Id$
-    Author:     Tobias Nipkow
-    Copyright   1994 TU Muenchen
 
 Misc HOLCF examples.
 *)