src/HOL/BNF_Def.thy
changeset 57698 afef6616cbae
parent 57641 dc59f147b27d
child 57802 9c065009cd8a
     1.1 --- a/src/HOL/BNF_Def.thy	Mon Jul 28 10:57:33 2014 +0200
     1.2 +++ b/src/HOL/BNF_Def.thy	Tue Jul 29 23:39:35 2014 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      HOL/BNF_Def.thy
     1.5      Author:     Dmitriy Traytel, TU Muenchen
     1.6      Author:     Jasmin Blanchette, TU Muenchen
     1.7 -    Copyright   2012
     1.8 +    Copyright   2012, 2013, 2014
     1.9  
    1.10  Definition of bounded natural functors.
    1.11  *)