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 |