| Wed, 14 Jul 1999 12:28:12 +0200 | wenzelm | Deriving rules in Isabelle; | changeset | files |
| Wed, 14 Jul 1999 10:41:33 +0200 | paulson | rewrite add1_zle_eq is no longer in the default simpset | changeset | files |
| Wed, 14 Jul 1999 10:40:51 +0200 | paulson | optimization for division by powers of 2 | changeset | files |
| Wed, 14 Jul 1999 10:40:11 +0200 | paulson | new montonicity theorems | changeset | files |
| Wed, 14 Jul 1999 10:39:26 +0200 | paulson | new constant folding rewrites | changeset | files |
| Tue, 13 Jul 1999 13:54:08 +0200 | wenzelm | handle cgoal; | changeset | files |
| Tue, 13 Jul 1999 13:53:34 +0200 | wenzelm | added mk_cgoal, assume_goal; | changeset | files |
| Tue, 13 Jul 1999 12:32:22 +0200 | wenzelm | same_tac; | changeset | files |
| Tue, 13 Jul 1999 10:45:47 +0200 | paulson | change to force (m div 0 = 0) | changeset | files |
| Tue, 13 Jul 1999 10:45:09 +0200 | paulson | many new theorems | changeset | files |
| Tue, 13 Jul 1999 10:44:45 +0200 | paulson | renamed inj_nat to inj_int | changeset | files |
| Tue, 13 Jul 1999 10:44:13 +0200 | paulson | new monotonicity theorems | changeset | files |
| Tue, 13 Jul 1999 10:43:31 +0200 | paulson | new theorem zmult_eq_0_iff | changeset | files |
| Tue, 13 Jul 1999 10:42:31 +0200 | paulson | renamed sort "numeral" to "number" | changeset | files |
| Tue, 13 Jul 1999 10:41:59 +0200 | paulson | simplified the <= monotonicity proof | changeset | files |