src/HOL/Codatatype/Tools/bnf_lfp_tactics.ML
2012-09-09 traytel 2012-09-09 open typedef for datatypes
2012-08-28 blanchet 2012-08-28 added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)