Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed filename in header
authorhuffman
Thu, 10 Mar 2005 20:22:45 +0100
changeset 15600 a59f07556a8d
parent 15599 10cedbd5289e
child 15601 2de79f493856
fixed filename in header
src/HOLCF/Cfun.thy file | annotate | diff | comparison | revisions
src/HOLCF/Cont.thy file | annotate | diff | comparison | revisions
src/HOLCF/Cprod.thy file | annotate | diff | comparison | revisions
src/HOLCF/FunCpo.thy file | annotate | diff | comparison | revisions
src/HOLCF/Porder.thy file | annotate | diff | comparison | revisions
src/HOLCF/Sprod.thy file | annotate | diff | comparison | revisions
src/HOLCF/Ssum.thy file | annotate | diff | comparison | revisions 
--- 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)
--- 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)
--- 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)
--- 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)
--- 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)
--- 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)
--- 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)
isabelle