| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Tue, 07 Oct 2008 16:07:24 +0200 | haftmann | code generator more liberal with respect to sort constraints of instance parameters | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Mon, 26 May 2008 17:55:34 +0200 | haftmann | tuned theorem order | file | diff | annotate |
| Tue, 18 Dec 2007 14:37:00 +0100 | haftmann | switched from PreList to ATP_Linkup | file | diff | annotate |
| Mon, 10 Dec 2007 11:24:09 +0100 | haftmann | switched import from Main to PreList | file | diff | annotate |
| Fri, 07 Dec 2007 15:07:59 +0100 | haftmann | instantiation target rather than legacy instance | file | diff | annotate |
| Thu, 29 Nov 2007 17:08:26 +0100 | haftmann | instance command as rudimentary class target | file | diff | annotate |
| Sun, 06 May 2007 21:50:17 +0200 | haftmann | changed code generator invocation syntax | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:42 +0200 | haftmann | Isar definitions are now added explicitly to code theorem table | file | diff | annotate |
| Tue, 20 Mar 2007 15:52:40 +0100 | haftmann | added instance for lattice | file | diff | annotate |
| Thu, 25 Jan 2007 09:32:36 +0100 | haftmann | improved | file | diff | annotate |
| Wed, 22 Nov 2006 10:20:18 +0100 | haftmann | added code lemmas | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:37 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Fri, 15 Apr 2005 14:14:24 +0200 | nipkow | New | file | diff | annotate |