| 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 |
| Thu, 25 Feb 2016 20:23:32 +0100 | wenzelm | merged | changeset | files |
| Thu, 25 Feb 2016 19:22:13 +0100 | wenzelm | slightly more robust re-initialization; | changeset | files |