src/HOL/Library/Efficient_Nat.thy
2008-09-16 haftmann 2008-09-16 evaluation using code generator
2008-07-21 haftmann 2008-07-21 fixed code generator setup
2008-07-15 haftmann 2008-07-15 tuned code theorem bookkeeping
2008-07-14 haftmann 2008-07-14 simpsets as pre/postprocessors; generic preprocessor now named function transformators
2008-07-08 haftmann 2008-07-08 fix: using IntInf.int for SML
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-03-28 haftmann 2008-03-28 not depends on Main any longer
2008-02-20 haftmann 2008-02-20 using only an relation predicate to construct div and mod
2008-01-29 haftmann 2008-01-29 treating division by zero properly
2008-01-25 haftmann 2008-01-25 fixed and tuned
2008-01-21 haftmann 2008-01-21 streamlined and improved
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2008-01-10 berghofe 2008-01-10 New interface for test data generators.
2008-01-02 haftmann 2008-01-02 index now a copy of nat rather than int
2007-12-13 haftmann 2007-12-13 target language div and mod
2007-11-28 haftmann 2007-11-28 deleted looping code theorem
2007-10-12 haftmann 2007-10-12 consolidated naming conventions for code generator theories
2007-09-25 haftmann 2007-09-25 Efficient_Nat and Pretty_Int integrated with ML_Int
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-10 haftmann 2007-08-10 new structure for code generator modules
2007-08-09 haftmann 2007-08-09 tuned
2007-07-19 haftmann 2007-07-19 uniform naming conventions for CG theories