| Mon, 16 Sep 2019 17:03:13 +0100 | paulson | A little-known material, and some tidying up | file | diff | annotate |
| 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 | file | diff | annotate |