| Mon, 16 Dec 2013 17:08:22 +0100 | immler | lemmas about divideR and scaleR | changeset | files |
| Mon, 16 Dec 2013 17:08:22 +0100 | immler | monotonicity of rounding and truncating float | changeset | files |
| Mon, 16 Dec 2013 17:08:22 +0100 | immler | Float: prevent unnecessary large numbers when adding 0 | changeset | files |
| Mon, 16 Dec 2013 17:08:22 +0100 | immler | additional definitions and lemmas for Float | changeset | files |