isabelle: Changelog

wenzelm [Tue, 03 Dec 2019 15:59:01 +0100] rev 71221

more operations;

Manuel Eberl <eberlm@in.tum.de> [Tue, 03 Dec 2019 16:12:20 +0100] rev 71220

Removed orphaned theory from HOL-Analysis

wenzelm [Tue, 03 Dec 2019 15:20:30 +0100] rev 71219

merged

wenzelm [Tue, 03 Dec 2019 10:50:28 +0100] rev 71218

clarified position for spec rule: like entity;

wenzelm [Mon, 02 Dec 2019 16:28:23 +0100] rev 71217

clarified name: avoid clashes;

wenzelm [Mon, 02 Dec 2019 16:15:27 +0100] rev 71216

proper dynamic position of application context, e.g. relevant for 'global_interpretation';

wenzelm [Mon, 02 Dec 2019 15:30:17 +0100] rev 71215

proper treatment of variable names;

wenzelm [Mon, 02 Dec 2019 15:04:38 +0100] rev 71214

proper spec_rule name via naming/binding/Morphism.binding;

wenzelm [Mon, 02 Dec 2019 13:34:02 +0100] rev 71213

more informative spec rules;

wenzelm [Mon, 02 Dec 2019 13:33:45 +0100] rev 71212

more robust;

isabelle