(* Title: HOL/Library/BNF_Axiomatization.thy Author: Dmitriy Traytel, TU Muenchen Copyright 2013 Axiomatic declaration of bounded natural functors. *) section ‹Axiomatic Declaration of Bounded Natural Functors› theory BNF_Axiomatization imports Main keywords "bnf_axiomatization" :: thy_decl begin ML_file "../Tools/BNF/bnf_axiomatization.ML" end