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