isabelle: File revisions

src/HOL/Tools/recfun_codegen.ML

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

isabelle

RSS Atom