src/HOL/Codatatype/Tools/bnf_gfp.ML
2012-09-03 traytel 2012-09-03 killed internal output
2012-09-03 traytel 2012-09-03 generate coinductive witnesses for codatatypes
2012-09-03 blanchet 2012-09-03 renamed three BNF/(co)datatype-related commands
2012-08-30 blanchet 2012-08-30 generate "disc_exhaust" property
2012-08-30 blanchet 2012-08-30 renamed ML function for consistency
2012-08-28 blanchet 2012-08-28 added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)