fixed filename in header
authorhuffman
Thu Mar 10 20:22:45 2005 +0100 (2005-03-10)
changeset 15600a59f07556a8d
parent 15599 10cedbd5289e
child 15601 2de79f493856
fixed filename in header
src/HOLCF/Cfun.thy
src/HOLCF/Cont.thy
src/HOLCF/Cprod.thy
src/HOLCF/FunCpo.thy
src/HOLCF/Porder.thy
src/HOLCF/Sprod.thy
src/HOLCF/Ssum.thy
     1.1 --- a/src/HOLCF/Cfun.thy	Thu Mar 10 20:19:55 2005 +0100
     1.2 +++ b/src/HOLCF/Cfun.thy	Thu Mar 10 20:22:45 2005 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOLCF/Cfun1.thy
     1.5 +(*  Title:      HOLCF/Cfun.thy
     1.6      ID:         $Id$
     1.7      Author:     Franz Regensburger
     1.8      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     2.1 --- a/src/HOLCF/Cont.thy	Thu Mar 10 20:19:55 2005 +0100
     2.2 +++ b/src/HOLCF/Cont.thy	Thu Mar 10 20:22:45 2005 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOLCF/cont.thy
     2.5 +(*  Title:      HOLCF/Cont.thy
     2.6      ID:         $Id$
     2.7      Author:     Franz Regensburger
     2.8      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     3.1 --- a/src/HOLCF/Cprod.thy	Thu Mar 10 20:19:55 2005 +0100
     3.2 +++ b/src/HOLCF/Cprod.thy	Thu Mar 10 20:22:45 2005 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOLCF/Cprod1.thy
     3.5 +(*  Title:      HOLCF/Cprod.thy
     3.6      ID:         $Id$
     3.7      Author:     Franz Regensburger
     3.8      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     4.1 --- a/src/HOLCF/FunCpo.thy	Thu Mar 10 20:19:55 2005 +0100
     4.2 +++ b/src/HOLCF/FunCpo.thy	Thu Mar 10 20:22:45 2005 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOLCF/Fun1.thy
     4.5 +(*  Title:      HOLCF/FunCpo.thy
     4.6      ID:         $Id$
     4.7      Author:     Franz Regensburger
     4.8      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     5.1 --- a/src/HOLCF/Porder.thy	Thu Mar 10 20:19:55 2005 +0100
     5.2 +++ b/src/HOLCF/Porder.thy	Thu Mar 10 20:22:45 2005 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOLCF/porder.thy
     5.5 +(*  Title:      HOLCF/Porder.thy
     5.6      ID:         $Id$
     5.7      Author:     Franz Regensburger
     5.8      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     6.1 --- a/src/HOLCF/Sprod.thy	Thu Mar 10 20:19:55 2005 +0100
     6.2 +++ b/src/HOLCF/Sprod.thy	Thu Mar 10 20:22:45 2005 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      HOLCF/Sprod0.thy
     6.5 +(*  Title:      HOLCF/Sprod.thy
     6.6      ID:         $Id$
     6.7      Author:     Franz Regensburger
     6.8      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     7.1 --- a/src/HOLCF/Ssum.thy	Thu Mar 10 20:19:55 2005 +0100
     7.2 +++ b/src/HOLCF/Ssum.thy	Thu Mar 10 20:22:45 2005 +0100
     7.3 @@ -1,4 +1,4 @@
     7.4 -(*  Title:      HOLCF/Ssum0.thy
     7.5 +(*  Title:      HOLCF/Ssum.thy
     7.6      ID:         $Id$
     7.7      Author:     Franz Regensburger
     7.8      License:    GPL (GNU GENERAL PUBLIC LICENSE)