| Mon, 04 Oct 1999 21:48:23 +0200 |
wenzelm |
simprocs now in IntArith;
|
file |
diff |
annotate
|
| Wed, 08 Sep 1999 15:41:30 +0200 |
paulson |
generalized the theorem zless_zero_nat to zless_nat_eq_int_zless, and
|
file |
diff |
annotate
|
| Mon, 26 Jul 1999 10:34:54 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
| Mon, 19 Jul 1999 15:29:30 +0200 |
paulson |
new theorem zless_zero_nat
|
file |
diff |
annotate
|
| Thu, 15 Jul 1999 10:34:00 +0200 |
paulson |
more renaming of theorems from _nat to _int (corresponding to a function that
|
file |
diff |
annotate
|
| Wed, 14 Jul 1999 10:40:11 +0200 |
paulson |
new montonicity theorems
|
file |
diff |
annotate
|
| Tue, 13 Jul 1999 10:44:13 +0200 |
paulson |
new monotonicity theorems
|
file |
diff |
annotate
|
| Fri, 09 Jul 1999 10:47:42 +0200 |
paulson |
more monotonicity laws for times
|
file |
diff |
annotate
|
| Thu, 08 Jul 1999 13:43:42 +0200 |
paulson |
Introduction of integer division algorithm
|
file |
diff |
annotate
|
| Thu, 01 Jul 1999 10:35:35 +0200 |
paulson |
many new theorems concerning multiplication and (in)equations
|
file |
diff |
annotate
|
| Mon, 24 May 1999 15:54:58 +0200 |
paulson |
int_Suc->int_Suc_int_1 avoiding confusion with the more useful Bin.int_Suc
|
file |
diff |
annotate
|
| Thu, 01 Oct 1998 18:25:56 +0200 |
paulson |
new lemmas
|
file |
diff |
annotate
|
| Tue, 29 Sep 1998 15:57:42 +0200 |
paulson |
many renamings and changes. Simproc for cancelling common terms in relations
|
file |
diff |
annotate
|
| Fri, 25 Sep 1998 13:57:01 +0200 |
paulson |
Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
|
file |
diff |
annotate
|