| Thu, 15 Nov 2001 18:18:17 +0100 | wenzelm | no handle ERROR; | file | diff | annotate |
| Sat, 10 Nov 2001 16:25:17 +0100 | wenzelm | use Tactic.prove; | file | diff | annotate |
| Wed, 06 Sep 2000 11:48:51 +0200 | paulson | bug fix for arithmetic simprocs (nat & int) | file | diff | annotate |
| Fri, 18 Aug 2000 12:34:48 +0200 | paulson | simproc bug fix: only TYPING assumptions are given to the simplifier | file | diff | annotate |
| Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |
| Mon, 07 Aug 2000 10:29:54 +0200 | paulson | instantiated Cancel_Numerals for "nat" in ZF | file | diff | annotate |