| Sun, 15 Sep 2019 13:52:30 +0200 | wenzelm | more ambitious options (again, after 93aa546ffbac); | changeset | files |
| Sun, 15 Sep 2019 13:42:01 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 15 Sep 2019 13:37:53 +0200 | wenzelm | proper clean_theories wrt. dynamic dep_graph; | changeset | files |
| Sun, 15 Sep 2019 13:12:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 14 Sep 2019 22:13:36 +0200 | wenzelm | potentially more robust: read under lock if not yet set; | changeset | files |
| Fri, 13 Sep 2019 11:00:59 +0200 | wenzelm | tuned; | changeset | files |
| 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 |