| Fri, 26 Aug 2016 11:58:19 +0200 | Manuel Eberl | Bohr-Mollerup theorem for the Gamma function | changeset | files |
| Thu, 25 Aug 2016 20:08:41 +0200 | ballarin | Back to original example theorem. | changeset | files |
| Thu, 25 Aug 2016 20:08:40 +0200 | ballarin | Improved error reporting when activating a locale instance. | changeset | files |