Mon, 27 Jun 2022 17:36:26 +0200 | traytel | tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS | changeset | files |
Mon, 27 Jun 2022 15:54:18 +0200 | traytel | strict bounds for BNFs (by Jan van Brügge) | changeset | files |
Sat, 25 Jun 2022 09:50:40 +0000 | haftmann | More lemmas. | changeset | files |