| Wed, 28 Aug 2019 08:51:20 +0200 | immler | entry point for analysis without integration theory | changeset | files |
| Wed, 28 Aug 2019 00:08:14 +0200 | immler | removed Brouwer_Fixpoint from imports of Derivative | changeset | files |
| Tue, 27 Aug 2019 23:12:28 +0200 | immler | removed unused lemma, generalized, reduced dependencies | changeset | files |
| Tue, 27 Aug 2019 22:43:19 +0200 | immler | fixed typo | changeset | files |