| Mon, 14 Aug 2006 13:46:05 +0200 | haftmann | added passage on class package | file | diff | annotate |
| Fri, 14 Jul 2006 12:18:33 +0200 | wenzelm | simp method: depth_limit; | file | diff | annotate |
| Tue, 06 Jun 2006 14:55:56 +0200 | haftmann | fixed typo | file | diff | annotate |
| Tue, 16 May 2006 21:33:24 +0200 | wenzelm | const_syntax; | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:11 +0200 | wenzelm | unfold(ed): not necessrily meta equations; | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
| Mon, 27 Feb 2006 12:20:21 +0100 | ballarin | Typo. | file | diff | annotate |
| Thu, 16 Feb 2006 18:25:54 +0100 | wenzelm | derived specifications: definition, abbreviation, axiomatization; | file | diff | annotate |
| Thu, 02 Feb 2006 16:31:31 +0100 | wenzelm | 'obtain': optional case name; | file | diff | annotate |
| Mon, 30 Jan 2006 12:20:05 +0100 | wenzelm | 'fixes': support plain vars; | file | diff | annotate |
| Sat, 31 Dec 2005 21:49:38 +0100 | wenzelm | removed classical elim_format; | file | diff | annotate |
| Fri, 23 Dec 2005 15:16:58 +0100 | wenzelm | induct etc.: admit multiple rules; | file | diff | annotate |
| Wed, 23 Nov 2005 18:51:59 +0100 | wenzelm | added case_conclusion attribute; | file | diff | annotate |
| Sat, 15 Oct 2005 00:08:13 +0200 | wenzelm | added guess; | file | diff | annotate |