Fri, 30 Dec 2016 18:02:27 +0100 | haftmann | complete set of cases rules for integers known to be (non-)positive/negative; | changeset | files |
Fri, 30 Dec 2016 18:02:27 +0100 | haftmann | more facts on sgn, abs | changeset | files |
Fri, 30 Dec 2016 18:02:27 +0100 | haftmann | dropped slightly outdated comment | changeset | files |