changeset 51740 | 97c116445b65 |
parent 49683 | 78a3d5006cf1 |
child 51745 | a06a3c777add |
--- a/src/HOL/BNF/BNF_FP.thy Tue Apr 23 11:43:09 2013 +0200 +++ b/src/HOL/BNF/BNF_FP.thy Tue Apr 23 16:30:29 2013 +0200 @@ -3,10 +3,10 @@ Author: Jasmin Blanchette, TU Muenchen Copyright 2012 -Composition of bounded natural functors. +Basic fixed point operations on bounded natural functors. *) -header {* Composition of Bounded Natural Functors *} +header {* Basic Fixed Point Operations on Bounded Natural Functors *} theory BNF_FP imports BNF_Comp BNF_Wrap