| Thu, 06 Mar 2003 15:02:51 +0100 |
paulson |
new simprule for int (nat n)
|
file |
diff |
annotate
|
| Thu, 27 Feb 2003 18:22:49 +0100 |
paulson |
Reorganized, moving many results about the integer dvd relation from IntPrimes
|
file |
diff |
annotate
|
| 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
|