changeset 57698 | afef6616cbae |
parent 56166 | 9a241bc276cd |
--- 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. *)