| Fri, 16 Apr 2004 20:59:09 +0200 | wenzelm | 'instance' and intro_classes now handle general sorts; | file | diff | annotate |
| Tue, 30 Sep 2003 15:09:35 +0200 | ballarin | Improvements wrt rule_tac. | file | diff | annotate |
| Fri, 29 Aug 2003 15:40:11 +0200 | ballarin | Method rule_tac understands Isar contexts: documentation. | file | diff | annotate |
| Wed, 02 Oct 2002 17:25:31 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 01 Oct 2002 14:45:28 +0200 | berghofe | Documented new "asm_lr" option for simp. | file | diff | annotate |
| Fri, 26 Jul 2002 21:09:39 +0200 | wenzelm | support for split assumptions in cases (hyps vs. prems); | file | diff | annotate |
| Wed, 24 Jul 2002 00:09:44 +0200 | wenzelm | locales: predicate defs; | file | diff | annotate |