src/HOL/Codatatype/Tools/bnf_def_tactics.ML
2012-09-11 blanchet 2012-09-11 spin off "bnf_def_tactics.ML"