changeset 57698 | afef6616cbae |
parent 57641 | dc59f147b27d |
child 58112 | 8081087096ad |
--- 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. *)