--- a/src/HOLCF/Cont.thy Thu Mar 10 20:19:55 2005 +0100
+++ b/src/HOLCF/Cont.thy Thu Mar 10 20:22:45 2005 +0100
@@ -1,4 +1,4 @@
-(* Title: HOLCF/cont.thy
+(* Title: HOLCF/Cont.thy
ID: $Id$
Author: Franz Regensburger
License: GPL (GNU GENERAL PUBLIC LICENSE)