changeset 57698 | afef6616cbae |
parent 57641 | dc59f147b27d |
child 57987 | ecb227b40907 |
--- 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. *)