--- a/src/HOLCF/HOLCF.ML Mon Jan 29 14:16:13 1996 +0100
+++ b/src/HOLCF/HOLCF.ML Tue Jan 30 13:42:57 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: HOLCF/HOLCF.ML
+(* Title: HOLCF/HOLCF.ML
ID: $Id$
- Author: Franz Regensburger
+ Author: Franz Regensburger
Copyright 1993 Technische Universitaet Muenchen
*)