| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | 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 |
| Wed, 02 Jul 2008 07:12:17 +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 21:46:22 +0200 | wenzelm | avoid undeclared variables within proofs; | 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 |
| Sun, 30 Sep 2007 21:55:15 +0200 | wenzelm | avoid internal names; | file | diff | annotate |
| Fri, 24 Aug 2007 14:14:20 +0200 | haftmann | overloaded definitions accompanied by explicit constants | file | diff | annotate |
| Mon, 20 Aug 2007 18:07:49 +0200 | haftmann | renamed code_gen to export_code | file | diff | annotate |
| Mon, 20 Aug 2007 11:18:18 +0200 | nipkow | removed allpairs | file | diff | annotate |