| Thu, 13 Nov 2008 15:58:38 +0100 | haftmann | simproc for let | file | diff | annotate |
| Thu, 18 Sep 2008 19:39:44 +0200 | wenzelm | simplified oracle interface; | file | diff | annotate |
| Wed, 17 Sep 2008 21:27:17 +0200 | wenzelm | local @{context}; | file | diff | annotate |
| Mon, 14 Jul 2008 16:13:42 +0200 | chaieb | Fixed proofs. | file | diff | annotate |
| Mon, 14 Jul 2008 11:04:42 +0200 | haftmann | unified curried gcd, lcm, zgcd, zlcm | file | diff | annotate |
| Thu, 03 Jul 2008 11:16:33 +0200 | haftmann | code antiquotation roaring ahead | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Sat, 17 May 2008 23:37:09 +0200 | wenzelm | avoid undeclared variables within proofs; | file | diff | annotate |
| Sat, 17 May 2008 21:46:22 +0200 | wenzelm | avoid undeclared variables within proofs; | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:20 +0100 | haftmann | some more primrec | file | diff | annotate |
| Tue, 23 Oct 2007 23:27:23 +0200 | nipkow | went back to >0 | file | diff | annotate |
| Sun, 21 Oct 2007 14:53:44 +0200 | nipkow | Eliminated most of the neq0_conv occurrences. As a result, many | file | diff | annotate |
| Fri, 12 Oct 2007 08:21:09 +0200 | haftmann | consolidated naming conventions for code generator theories | file | diff | annotate |
| Wed, 29 Aug 2007 14:21:19 +0200 | chaieb | fixed Proofs | file | diff | annotate |