src/HOL/Library/EfficientNat.thy
2006-01-19 ago setup: theory -> theory;
2006-01-17 ago substantial improvements in code generator
2005-07-22 ago Rewrote function remove_suc, since it failed on some equations
2005-07-15 ago tuned fold on terms;
2005-07-12 ago Auxiliary functions to be used in generated code are now defined using "attach".
2005-06-06 ago Added code lemma for <
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-12-10 ago Preprocessors now transfer theorems to current theory in order to
2004-11-24 ago Code generator plug-in for implementing natural numbers by integers.