isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 17 Nov 2015 12:32:08 +0000] rev 61694

Removed some legacy theorems; minor adjustments to simplification rules; new material on homotopic paths

nipkow [Tue, 17 Nov 2015 12:01:19 +0100] rev 61693

converted lookup to cmp

nipkow [Tue, 17 Nov 2015 11:44:10 +0100] rev 61692

removed lemmas that were only needed for old version of isin.

haftmann [Mon, 16 Nov 2015 19:08:38 +0100] rev 61691

clarified contexts by factoring out reading and definition of mixins

Andreas Lochbihler [Mon, 16 Nov 2015 17:02:12 +0100] rev 61690

merged

Andreas Lochbihler [Mon, 16 Nov 2015 17:00:11 +0100] rev 61689

export internal definition

nipkow [Mon, 16 Nov 2015 15:59:47 +0100] rev 61688

corrected inefficient implementation

blanchet [Mon, 16 Nov 2015 14:27:10 +0100] rev 61687

more tracing in MaSh

nipkow [Mon, 16 Nov 2015 13:08:52 +0100] rev 61686

tuned names

nipkow [Mon, 16 Nov 2015 12:37:46 +0100] rev 61685

NEWS

isabelle