Tue, 29 Oct 2002 11:32:52 +0100 | nipkow | added induction thms | file | diff | annotate |
Wed, 25 Sep 2002 07:42:24 +0200 | nipkow | added nat_split | file | diff | annotate |
Sat, 03 Nov 2001 01:33:54 +0100 | wenzelm | tuned; | file | diff | annotate |
Mon, 22 Oct 2001 11:54:22 +0200 | paulson | Numerals now work for the integers: the binary numerals for 0 and 1 rewrite | file | diff | annotate |
Fri, 01 Dec 2000 19:53:29 +0100 | nipkow | Linear arithmetic now copes with mixed nat/int formulae. | file | diff | annotate |
Tue, 25 Jul 2000 00:06:46 +0200 | wenzelm | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |
Sat, 01 Jul 2000 17:52:52 +0200 | nipkow | Defined abs on int. | file | diff | annotate |
Mon, 04 Oct 1999 21:48:23 +0200 | wenzelm | simprocs now in IntArith; | file | diff | annotate |