# HG changeset patch
# User huffman
# Date 1110482565 -3600
# Node ID a59f07556a8d80f6178ee2f6211200ddf5aca33c
# Parent  10cedbd5289eab2c52fa1785b2301f9cd75d1059
fixed filename in header

diff -r 10cedbd5289e -r a59f07556a8d src/HOLCF/Cfun.thy
--- 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)
diff -r 10cedbd5289e -r a59f07556a8d src/HOLCF/Cont.thy
--- 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)
diff -r 10cedbd5289e -r a59f07556a8d src/HOLCF/Cprod.thy
--- a/src/HOLCF/Cprod.thy	Thu Mar 10 20:19:55 2005 +0100
+++ b/src/HOLCF/Cprod.thy	Thu Mar 10 20:22:45 2005 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOLCF/Cprod1.thy
+(*  Title:      HOLCF/Cprod.thy
     ID:         $Id$
     Author:     Franz Regensburger
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
diff -r 10cedbd5289e -r a59f07556a8d src/HOLCF/FunCpo.thy
--- 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)
diff -r 10cedbd5289e -r a59f07556a8d src/HOLCF/Porder.thy
--- a/src/HOLCF/Porder.thy	Thu Mar 10 20:19:55 2005 +0100
+++ b/src/HOLCF/Porder.thy	Thu Mar 10 20:22:45 2005 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOLCF/porder.thy
+(*  Title:      HOLCF/Porder.thy
     ID:         $Id$
     Author:     Franz Regensburger
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
diff -r 10cedbd5289e -r a59f07556a8d src/HOLCF/Sprod.thy
--- a/src/HOLCF/Sprod.thy	Thu Mar 10 20:19:55 2005 +0100
+++ b/src/HOLCF/Sprod.thy	Thu Mar 10 20:22:45 2005 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOLCF/Sprod0.thy
+(*  Title:      HOLCF/Sprod.thy
     ID:         $Id$
     Author:     Franz Regensburger
     License:    GPL (GNU GENERAL PUBLIC LICENSE)
diff -r 10cedbd5289e -r a59f07556a8d src/HOLCF/Ssum.thy
--- a/src/HOLCF/Ssum.thy	Thu Mar 10 20:19:55 2005 +0100
+++ b/src/HOLCF/Ssum.thy	Thu Mar 10 20:22:45 2005 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOLCF/Ssum0.thy
+(*  Title:      HOLCF/Ssum.thy
     ID:         $Id$
     Author:     Franz Regensburger
     License:    GPL (GNU GENERAL PUBLIC LICENSE)