| Wed, 07 Feb 2018 18:08:12 +0100 | eberlm | Added hyperbolic functions | changeset | files |
| Mon, 05 Feb 2018 08:30:19 +0100 | immler | added lemmas, avoid 'float_of 0' | changeset | files |
| Sat, 03 Feb 2018 20:46:28 +0100 | wenzelm | clarified signature; | changeset | files |