| Wed, 28 Jan 2009 13:36:11 +0100 | slightly adapted towards more uniformity with div/mod on nat | file | diff | annotate |
| Tue, 09 Dec 2008 16:26:47 -0800 | use lemma lists defined in Int.thy | file | diff | annotate |
| Sat, 06 Dec 2008 20:25:31 -0800 | fix proofs | file | diff | annotate |
| Thu, 04 Dec 2008 18:37:46 -0800 | fix proofs | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:31 +0200 | proofs adjusted to new situation in Int.thy/Presburger.thy | file | diff | annotate |
| Sun, 17 Feb 2008 06:49:53 +0100 | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | file | diff | annotate |
| Sat, 16 Feb 2008 02:01:13 +0100 | added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps | file | diff | annotate |
| Tue, 15 Jan 2008 16:19:23 +0100 | joined theories IntDef, Numeral, IntArith to theory Int | file | diff | annotate |
| Mon, 09 Jul 2007 17:38:40 +0200 | added computing oracle support for HOL and numerals | file | diff | annotate |