| Tue, 03 Sep 2019 11:32:29 +0200 | wenzelm | clarified state variable: avoid extra mutability via Promise; | changeset | files |
| Wed, 04 Sep 2019 16:34:45 +0100 | paulson | Removal of the redundant ancestor Continuous_Extension | changeset | files |
| Wed, 04 Sep 2019 15:27:04 +0100 | paulson | Half of Brouwer_Fixpoint split off to form a separate theory: Retracts. | changeset | files |