src/HOL/Tools/datatype_codegen.ML
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-12-10 berghofe 2004-12-10 Fixed bug in mk_gen_of_def that could cause non-termination of the generator for datatypes with nested recursion (such as trie).
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-07-11 berghofe 2003-07-11 Added generator for test case generators.
2002-12-16 berghofe 2002-12-16 Code generator for datatypes now also generates suitable term_of functions (when term_of mode is switched on).
2002-02-14 wenzelm 2002-02-14 made MLWorks happy;
2002-01-21 berghofe 2002-01-21 datatype_codegen now checks type of constructor.
2001-12-10 berghofe 2001-12-10 Tuned header.
2001-12-10 berghofe 2001-12-10 Code generator for datatypes.