| 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 |
| Sat, 26 Jan 2008 17:08:38 +0100 | wenzelm | tuned attribute syntax -- no need for eta-expansion; | 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:02 +0100 | haftmann | splitted class uminus from class minus | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Fri, 20 Jul 2007 14:28:01 +0200 | haftmann | split class abs from class minus | file | diff | annotate |
| Fri, 22 Jun 2007 16:16:23 +0200 | chaieb | merge is now identity | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |