src/HOL/Tools/recfun_codegen.ML
2006-01-19 ago setup: theory -> theory;
2006-01-17 ago substantial improvements in code generator
2005-11-22 ago added codegenerator
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-05 ago curried_lookup/update;
2005-08-31 ago refer to theory instead of low-level tsig;
2005-08-25 ago Implemented incremental code generation.
2005-07-01 ago Adapted to modular code generation.
2005-06-17 ago accomodate change of TheoryDataFun;
2005-04-12 ago tweaks mainly to achieve sml/nj compatibility
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-11-24 ago Reimplemented some operations on "code lemma" table to avoid that code
2004-10-26 ago Added call to Codegen.preprocess.
2004-06-21 ago Merged in license change from Isabelle2004
2003-09-22 ago Added "del" attribute for deleting equations.
2002-05-07 ago use eq_thm_prop instead of slightly inadequate eq_thm;
2001-12-20 ago Moved "code" attribute to Pure/codegen.ML
2001-12-10 ago Code generator for recursive functions.