Fri, 05 Oct 2001 21:52:39 +0200 | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
Tue, 03 Oct 2000 18:45:36 +0200 | unsymbolize; | file | diff | annotate |
Wed, 13 Sep 2000 18:47:30 +0200 | more integer theorems, better simplification | file | diff | annotate |
Wed, 30 Aug 2000 16:29:21 +0200 | introduced induct_thm_tac | file | diff | annotate |
Tue, 25 Jul 2000 00:06:46 +0200 | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |