--- a/src/HOLCF/HOLCF.thy Tue Feb 06 12:27:17 1996 +0100
+++ b/src/HOLCF/HOLCF.thy Tue Feb 06 12:42:31 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: HOLCF/HOLCF.thy
+(* Title: HOLCF/HOLCF.thy
ID: $Id$
- Author: Franz Regensburger
+ Author: Franz Regensburger
Copyright 1993 Technische Universitaet Muenchen