| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Thu, 25 Sep 2008 09:28:03 +0200 | haftmann | discontinued special treatment of op = vs. eq_class.eq | file | diff | annotate |
| Tue, 16 Sep 2008 09:21:24 +0200 | haftmann | evaluation using code generator | file | diff | annotate |
| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| 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 |