traytel@56942: (*  Title:      HOL/Library/BNF_Axiomatization.thy
traytel@54601:     Author:     Dmitriy Traytel, TU Muenchen
traytel@54601:     Copyright   2013
traytel@54601: 
traytel@54601: Axiomatic declaration of bounded natural functors.
traytel@54601: *)
traytel@54601: 
traytel@54601: header {* Axiomatic declaration of Bounded Natural Functors *}
traytel@54601: 
traytel@56942: theory BNF_Axiomatization
blanchet@55075: imports Main
traytel@54601: keywords
traytel@56942:   "bnf_axiomatization" :: thy_decl
traytel@54601: begin
traytel@54601: 
traytel@56942: ML_file "bnf_axiomatization.ML"
traytel@54601: 
traytel@54601: end