equal
deleted
inserted
replaced
185 - Auto Sledgehammer now minimizes and preplays the results. |
185 - Auto Sledgehammer now minimizes and preplays the results. |
186 - The URL for remote provers on SystemOnTPTP has been updated. |
186 - The URL for remote provers on SystemOnTPTP has been updated. |
187 |
187 |
188 * Nitpick: |
188 * Nitpick: |
189 - Removed "check_potential" and "check_genuine" options. |
189 - Removed "check_potential" and "check_genuine" options. |
|
190 |
|
191 * Division on integers is bootstrapped directly from division on |
|
192 naturals and uses generic numeral algorithm for computations. |
|
193 Slight INCOMPATIBILITY, simproc numeral_divmod replaces and generalizes |
|
194 former simprocs binary_int_div and binary_int_mod |
190 |
195 |
191 * Tightened specification of class semiring_no_zero_divisors. Slight |
196 * Tightened specification of class semiring_no_zero_divisors. Slight |
192 INCOMPATIBILITY. |
197 INCOMPATIBILITY. |
193 |
198 |
194 * Class algebraic_semidom introduces common algebraic notions of |
199 * Class algebraic_semidom introduces common algebraic notions of |