| Tue, 21 Apr 2009 09:53:31 +0200 | krauss | tuned proof | file | diff | annotate |
| Tue, 28 Aug 2007 11:25:29 +0200 | wenzelm | induct: proper separation of initial and terminal step; | file | diff | annotate |
| Wed, 11 Jul 2007 11:54:03 +0200 | berghofe | Renamed accessible part for predicates to accp. | file | diff | annotate |
| Wed, 13 Jun 2007 18:30:11 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Sun, 03 Jun 2007 23:16:47 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Sat, 19 May 2007 11:33:30 +0200 | haftmann | fixed text | file | diff | annotate |
| Thu, 17 May 2007 22:33:41 +0200 | krauss | Added unification case study (using new function package) | file | diff | annotate |