src/HOL/Tools/recfun_codegen.ML
2005-11-22 haftmann 2005-11-22 added codegenerator
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-05 wenzelm 2005-09-05 curried_lookup/update;
2005-08-31 wenzelm 2005-08-31 refer to theory instead of low-level tsig;
2005-08-25 berghofe 2005-08-25 Implemented incremental code generation.
2005-07-01 berghofe 2005-07-01 Adapted to modular code generation.
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.