wenzelm [Sat, 30 Nov 2019 16:42:15 +0100] rev 71407
tuned -- avoid confusion of fun_t with fun_lhs;
wenzelm [Sat, 30 Nov 2019 15:56:09 +0100] rev 71406
avoid shadowing of local bindings -- more maintainable;
wenzelm [Sat, 30 Nov 2019 15:17:23 +0100] rev 71405
export spec rules;
traytel [Tue, 03 Dec 2019 16:51:53 +0100] rev 71404
made internal name generation in case expressions more robust
Manuel Eberl <eberlm@in.tum.de> [Mon, 02 Dec 2019 17:51:54 +0100] rev 71403
Reorganised HOL-Complex_Analysis
immler [Mon, 02 Dec 2019 22:40:16 -0500] rev 71402
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:52:21 -0500] rev 71401
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 71400
merged
haftmann [Mon, 02 Dec 2019 17:15:17 +0000] rev 71399
more rules
haftmann [Mon, 02 Dec 2019 17:15:16 +0000] rev 71398
tuned material