| Tue, 10 Jul 2007 17:30:47 +0200 | haftmann | moved lfp_induct2 to Relation.thy | file | diff | annotate |
| Wed, 30 May 2007 21:09:12 +0200 | haftmann | generalized lemmas | file | diff | annotate |
| Fri, 25 May 2007 21:08:52 +0200 | haftmann | using rudimentary class target mechanism | file | diff | annotate |
| Thu, 10 May 2007 10:21:47 +0200 | haftmann | localized Sup/Inf | 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 08:27:22 +0100 | haftmann | new lemmas | file | diff | annotate |