changeset 55059 | ef2e0fb783c6 |
parent 55058 | 4e700eb471d4 |
child 55062 | 6d3fad6f01c9 |
--- a/src/HOL/BNF_GFP.thy Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/BNF_GFP.thy Mon Jan 20 18:24:56 2014 +0100 @@ -1,6 +1,8 @@ -(* Title: HOL/BNF/BNF_GFP.thy +(* Title: HOL/BNF_GFP.thy Author: Dmitriy Traytel, TU Muenchen - Copyright 2012 + Author: Lorenz Panny, TU Muenchen + Author: Jasmin Blanchette, TU Muenchen + Copyright 2012, 2013 Greatest fixed point operation on bounded natural functors. *)