src/HOL/Library/EfficientNat.thy
2005-06-06 berghofe 2005-06-06 Added code lemma for <
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-12-10 berghofe 2004-12-10 Preprocessors now transfer theorems to current theory in order to avoid "incompatible signatures" exception.
2004-11-24 berghofe 2004-11-24 Code generator plug-in for implementing natural numbers by integers.