| 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 |
| Mon, 10 Dec 2007 11:24:12 +0100 | haftmann | switched import from Main to List | file | diff | annotate |
| Fri, 05 Oct 2007 23:04:14 +0200 | wenzelm | tuned proofs (via polymorphic taking''); | file | diff | annotate |
| Fri, 05 Oct 2007 22:00:13 +0200 | wenzelm | coinduct: instantiation refers to suffix of main prop (major premise or conclusion); | file | diff | annotate |
| Wed, 11 Jul 2007 11:28:13 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Tue, 24 Apr 2007 15:15:52 +0200 | berghofe | Adapted to new parse translation for case expressions. | file | diff | annotate |