src/HOL/Codatatype/Tools/bnf_comp.ML
2012-08-30 blanchet 2012-08-30 renamed ML function for consistency
2012-08-30 blanchet 2012-08-30 killed obsolete "bnf_of_typ" command
2012-08-30 blanchet 2012-08-30 removed dead code
2012-08-30 blanchet 2012-08-30 have "bnf_of_typ" command seal the BNF
2012-08-28 blanchet 2012-08-28 added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)