| Tue, 03 Oct 2000 18:45:36 +0200 | wenzelm | unsymbolize; | file | diff | annotate |
| Wed, 13 Sep 2000 18:47:30 +0200 | paulson | more integer theorems, better simplification | file | diff | annotate |
| Wed, 30 Aug 2000 16:29:21 +0200 | nipkow | introduced induct_thm_tac | file | diff | annotate |
| Tue, 25 Jul 2000 00:06:46 +0200 | wenzelm | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |