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.
header tuning
authorblanchet
Tue, 29 Jul 2014 23:39:35 +0200
changeset 57698 afef6616cbae
parent 57697 44341963ade3
child 57699 a6cf197c1f1e
header tuning
src/HOL/BNF_Comp.thy file | annotate | diff | comparison | revisions
src/HOL/BNF_Def.thy file | annotate | diff | comparison | revisions
src/HOL/BNF_FP_Base.thy file | annotate | diff | comparison | revisions
src/HOL/BNF_GFP.thy file | annotate | diff | comparison | revisions
src/HOL/BNF_LFP.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/BNF_Comp.thy	Mon Jul 28 10:57:33 2014 +0200
+++ b/src/HOL/BNF_Comp.thy	Tue Jul 29 23:39:35 2014 +0200
@@ -1,6 +1,7 @@
 (*  Title:      HOL/BNF_Comp.thy
     Author:     Dmitriy Traytel, TU Muenchen
-    Copyright   2012
+    Author:     Jasmin Blanchette, TU Muenchen
+    Copyright   2012, 2013, 2014
 
 Composition of bounded natural functors.
 *)
--- a/src/HOL/BNF_Def.thy	Mon Jul 28 10:57:33 2014 +0200
+++ b/src/HOL/BNF_Def.thy	Tue Jul 29 23:39:35 2014 +0200
@@ -1,7 +1,7 @@
 (*  Title:      HOL/BNF_Def.thy
     Author:     Dmitriy Traytel, TU Muenchen
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2012
+    Copyright   2012, 2013, 2014
 
 Definition of bounded natural functors.
 *)
--- a/src/HOL/BNF_FP_Base.thy	Mon Jul 28 10:57:33 2014 +0200
+++ b/src/HOL/BNF_FP_Base.thy	Tue Jul 29 23:39:35 2014 +0200
@@ -2,7 +2,8 @@
     Author:     Lorenz Panny, TU Muenchen
     Author:     Dmitriy Traytel, TU Muenchen
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2012, 2013
+    Author:     Martin Desharnais, TU Muenchen
+    Copyright   2012, 2013, 2014
 
 Shared fixed point operations on bounded natural functors.
 *)
--- a/src/HOL/BNF_GFP.thy	Mon Jul 28 10:57:33 2014 +0200
+++ b/src/HOL/BNF_GFP.thy	Tue Jul 29 23:39:35 2014 +0200
@@ -2,7 +2,7 @@
     Author:     Dmitriy Traytel, TU Muenchen
     Author:     Lorenz Panny, TU Muenchen
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2012, 2013
+    Copyright   2012, 2013, 2014
 
 Greatest fixed point operation on bounded natural functors.
 *)
--- a/src/HOL/BNF_LFP.thy	Mon Jul 28 10:57:33 2014 +0200
+++ b/src/HOL/BNF_LFP.thy	Tue Jul 29 23:39:35 2014 +0200
@@ -1,9 +1,8 @@
-
 (*  Title:      HOL/BNF_LFP.thy
     Author:     Dmitriy Traytel, TU Muenchen
     Author:     Lorenz Panny, TU Muenchen
     Author:     Jasmin Blanchette, TU Muenchen
-    Copyright   2012, 2013
+    Copyright   2012, 2013, 2014
 
 Least fixed point operation on bounded natural functors.
 *)
isabelle