| Wed, 12 Nov 2014 17:37:43 +0100 | immler | disjunction and conjunction for forms | changeset | files |
| Wed, 12 Nov 2014 17:37:43 +0100 | immler | truncate intermediate results in horner to improve performance of approximate; | changeset | files |
| Wed, 12 Nov 2014 17:36:36 +0100 | immler | added lemmas: convert between powr and log in comparisons, pull log out of addition/subtraction | changeset | files |
| Wed, 12 Nov 2014 17:36:32 +0100 | immler | cancel real of power of numeral also for equality and strict inequality; | changeset | files |
| Wed, 12 Nov 2014 17:36:29 +0100 | immler | simplified computations based on round_up by reducing to round_down; | changeset | files |
| Wed, 12 Nov 2014 17:36:25 +0100 | immler | code equation for powr | changeset | files |
| Tue, 11 Nov 2014 21:14:19 +0100 | wenzelm | merged | changeset | files |