isabelle: Changelog

wenzelm [Sun, 15 Sep 2019 13:42:01 +0200] rev 70699

tuned signature;

wenzelm [Sun, 15 Sep 2019 13:37:53 +0200] rev 70698

proper clean_theories wrt. dynamic dep_graph;

wenzelm [Sun, 15 Sep 2019 13:12:13 +0200] rev 70697

tuned signature;

wenzelm [Sat, 14 Sep 2019 22:13:36 +0200] rev 70696

potentially more robust: read under lock if not yet set;

wenzelm [Fri, 13 Sep 2019 11:00:59 +0200] rev 70695

tuned;

paulson <lp15@cam.ac.uk> [Fri, 13 Sep 2019 12:46:36 +0100] rev 70694

New theory Equivalence_Measurable_On_Borel, with the HOL Light notion of measurable_on and its equivalence to ours

wenzelm [Thu, 12 Sep 2019 17:17:52 +0200] rev 70693

session directories need to exist;

wenzelm [Thu, 12 Sep 2019 16:52:04 +0200] rev 70692

clarified signature: eliminated unused option;

paulson [Thu, 12 Sep 2019 15:32:45 +0100] rev 70691

merged

paulson <lp15@cam.ac.uk> [Thu, 12 Sep 2019 15:32:39 +0100] rev 70690

importation fix

isabelle