Wed, 10 Dec 2003 15:59:34 +0100 |
paulson |
Moving some theorems from Real/RealArith0.ML
|
file |
diff |
annotate
|
Wed, 03 Dec 2003 10:49:34 +0100 |
paulson |
Simplification of the development of Integers
|
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, 28 Jan 2003 07:39:29 +0100 |
nipkow |
pos/neg_mod_sign/bound are now simp rules.
|
file |
diff |
annotate
|
Fri, 15 Nov 2002 18:02:25 +0100 |
nipkow |
added zdvd_iff_zmod_eq_0
|
file |
diff |
annotate
|
Mon, 30 Sep 2002 16:14:02 +0200 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
Tue, 27 Aug 2002 11:03:05 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 23 Aug 2002 07:41:05 +0200 |
nipkow |
Added div+mod cancelling simproc
|
file |
diff |
annotate
|
Mon, 01 Jul 2002 17:42:08 +0200 |
nipkow |
modified Larry's changes to make div/mod a numeral work in arith.
|
file |
diff |
annotate
|
Sat, 29 Jun 2002 22:46:56 +0200 |
paulson |
new splitting rules for zdiv, zmod
|
file |
diff |
annotate
|
Tue, 28 May 2002 11:06:06 +0200 |
paulson |
conversion of IntDiv.thy to Isar format
|
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
|
Sat, 06 Oct 2001 00:02:46 +0200 |
wenzelm |
* sane numerals (stage 2): plain "num" syntax (removed "#");
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 21:52:39 +0200 |
wenzelm |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
|
file |
diff |
annotate
|
Sun, 21 May 2000 14:49:28 +0200 |
wenzelm |
replaced {{ }} by { };
|
file |
diff |
annotate
|
Mon, 04 Oct 1999 21:47:16 +0200 |
wenzelm |
IntArith;
|
file |
diff |
annotate
|
Tue, 13 Jul 1999 10:45:47 +0200 |
paulson |
change to force (m div 0 = 0)
|
file |
diff |
annotate
|
Thu, 08 Jul 1999 13:43:42 +0200 |
paulson |
Introduction of integer division algorithm
|
file |
diff |
annotate
|