(* Title: HOL/BNF/BNF.thy Author: Dmitriy Traytel, TU Muenchen Author: Andrei Popescu, TU Muenchen Author: Jasmin Blanchette, TU Muenchen Copyright 2012 Bounded natural functors for (co)datatypes. *) header {* Bounded Natural Functors for (Co)datatypes *} theory BNF imports More_BNFs begin end