| Fri, 28 Mar 2008 22:01:01 +0100 | haftmann | accomodated to sledgehammer theory dependency requirement | file | diff | annotate |
| Sun, 17 Feb 2008 06:49:53 +0100 | huffman | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | file | diff | annotate |
| Tue, 29 Jan 2008 10:19:56 +0100 | haftmann | treating division by zero properly | file | diff | annotate |
| Mon, 21 Jan 2008 08:43:27 +0100 | haftmann | tuned code setup | file | diff | annotate |
| Tue, 15 Jan 2008 16:19:23 +0100 | haftmann | joined theories IntDef, Numeral, IntArith to theory Int | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:23 +0100 | haftmann | index now a copy of nat rather than int | file | diff | annotate |
| Fri, 12 Oct 2007 10:26:18 +0200 | haftmann | added | file | diff | annotate |