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