src/HOL/Tools/recfun_codegen.ML
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun;
2005-04-12 paulson 2005-04-12 tweaks mainly to achieve sml/nj compatibility
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-11-24 berghofe 2004-11-24 Reimplemented some operations on "code lemma" table to avoid that code lemmas get lost during merge.
2004-10-26 berghofe 2004-10-26 Added call to Codegen.preprocess.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-09-22 berghofe 2003-09-22 Added "del" attribute for deleting equations.
2002-05-07 wenzelm 2002-05-07 use eq_thm_prop instead of slightly inadequate eq_thm;
2001-12-20 berghofe 2001-12-20 Moved "code" attribute to Pure/codegen.ML
2001-12-10 berghofe 2001-12-10 Code generator for recursive functions.