src/HOL/Library/BNF_Axiomatization.thy
2014-05-13 traytel 2014-05-13 bnf_decl -> bnf_axiomatization