isabelle: Changelog

wenzelm [Sat, 30 Nov 2019 16:42:15 +0100] rev 71204

tuned -- avoid confusion of fun_t with fun_lhs;

wenzelm [Sat, 30 Nov 2019 15:56:09 +0100] rev 71203

avoid shadowing of local bindings -- more maintainable;

wenzelm [Sat, 30 Nov 2019 15:17:23 +0100] rev 71202

export spec rules;

Manuel Eberl <eberlm@in.tum.de> [Mon, 02 Dec 2019 17:51:54 +0100] rev 71201

Reorganised HOL-Complex_Analysis

immler [Mon, 02 Dec 2019 22:40:16 -0500] rev 71200

split off metric spaces part of Function_Topology: subsequent theories Product_Topology, T1_Spaces, Lindelof_Spaces are purely topological

immler [Mon, 02 Dec 2019 14:07:42 -0500] rev 71199

merged

immler [Mon, 02 Dec 2019 13:57:32 -0500] rev 71198

tuned Analysis manual

immler [Mon, 02 Dec 2019 13:41:44 -0500] rev 71197

tuned Analysis manual

haftmann [Mon, 02 Dec 2019 17:15:17 +0000] rev 71196

more rules

haftmann [Mon, 02 Dec 2019 17:15:16 +0000] rev 71195

tuned material

isabelle