| Wed, 04 Sep 2019 16:34:45 +0100 | paulson | Removal of the redundant ancestor Continuous_Extension | file | diff | annotate |
| Wed, 04 Sep 2019 15:27:04 +0100 | paulson | Half of Brouwer_Fixpoint split off to form a separate theory: Retracts. | file | diff | annotate |