Sat, 30 Nov 2019 15:56:09 +0100 avoid shadowing of local bindings -- more maintainable;
wenzelm [Sat, 30 Nov 2019 15:56:09 +0100] rev 71203
avoid shadowing of local bindings -- more maintainable;
Sat, 30 Nov 2019 15:17:23 +0100 export spec rules;
wenzelm [Sat, 30 Nov 2019 15:17:23 +0100] rev 71202
export spec rules;
Mon, 02 Dec 2019 17:51:54 +0100 Reorganised HOL-Complex_Analysis
Manuel Eberl <eberlm@in.tum.de> [Mon, 02 Dec 2019 17:51:54 +0100] rev 71201
Reorganised HOL-Complex_Analysis
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip