(* 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 Countable_Set_Type BNF_LFP BNF_GFP BNF_Decl
begin
hide_const (open) image2 image2p vimage2p Gr Grp collect fsts snds setl setr
convol pick_middlep fstOp sndOp csquare inver relImage relInvImage
prefCl PrefCl Succ Shift shift proj
end