src/HOL/ex/NormalForm.thy
2007-05-06 haftmann 2007-05-06 changed code generator invocation syntax
2007-03-02 haftmann 2007-03-02 tuned code theorems for ord on integers
2007-01-04 haftmann 2007-01-04 more term examples
2006-11-22 haftmann 2006-11-22 example tuned
2006-11-06 haftmann 2006-11-06 (adjustions)
2006-11-03 haftmann 2006-11-03 some example tweaking
2006-10-31 haftmann 2006-10-31 *** empty log message ***
2006-10-20 haftmann 2006-10-20 added if_delayed
2006-10-16 haftmann 2006-10-16 moved HOL code generator setup to Code_Generator
2006-10-09 nipkow 2006-10-09 added nbe_post for delayed_if
2006-10-09 nipkow 2006-10-09 added delayed_if
2006-10-02 haftmann 2006-10-02 cleaned and extended
2006-10-01 wenzelm 2006-10-01 tuned;
2006-09-19 haftmann 2006-09-19 improved numeral handling for nbe
2006-09-13 krauss 2006-09-13 Major update to function package, including new syntax and the (only theoretical) ability to handle local contexts.
2006-08-08 haftmann 2006-08-08 adding code lemma now works as expected
2006-07-25 haftmann 2006-07-25 improvements for lazy code generation
2006-06-30 nipkow 2006-06-30 normal_form to lemma test
2006-06-09 nipkow 2006-06-09 renamed file