| Fri, 13 Sep 2019 12:46:36 +0100 | paulson | New theory Equivalence_Measurable_On_Borel, with the HOL Light notion of measurable_on and its equivalence to ours | changeset | files |
| Thu, 12 Sep 2019 17:17:52 +0200 | wenzelm | session directories need to exist; | changeset | files |
| Thu, 12 Sep 2019 16:52:04 +0200 | wenzelm | clarified signature: eliminated unused option; | changeset | files |