| Fri, 26 Feb 2016 11:53:45 +0100 | immler | positive precision for truncate; fixed precision for approximation of rationals; code for truncate | changeset | files |
| Fri, 26 Feb 2016 11:53:42 +0100 | immler | compute_real_of_float has not been used as code equation | changeset | files |
| Thu, 25 Feb 2016 20:35:05 +0100 | wenzelm | tuned proof; | changeset | files |