isabelle: Changelog

wenzelm [Fri, 13 Nov 2015 16:02:59 +0100] rev 61658

more documentation;

wenzelm [Fri, 13 Nov 2015 15:06:58 +0100] rev 61657

tuned whitespace;

wenzelm [Fri, 13 Nov 2015 14:49:30 +0100] rev 61656

more uniform jEdit properties;

wenzelm [Fri, 13 Nov 2015 14:11:54 +0100] rev 61655

avoid vacuous quantification, as usual for shared variable scope;

wenzelm [Fri, 13 Nov 2015 11:41:11 +0100] rev 61654

support for structure statements in 'assume', 'presume';

wenzelm [Thu, 12 Nov 2015 11:30:56 +0100] rev 61653

support short form for \<^theory_text>;

paulson <lp15@cam.ac.uk> [Fri, 13 Nov 2015 15:59:40 +0000] rev 61652

MIR decision procedure again working

nipkow [Fri, 13 Nov 2015 16:17:30 +0100] rev 61651

unnecessary precondition

paulson <lp15@cam.ac.uk> [Fri, 13 Nov 2015 12:43:54 +0000] rev 61650

Merge

paulson <lp15@cam.ac.uk> [Fri, 13 Nov 2015 12:27:13 +0000] rev 61649

Tweaks for "real": Removal of [iff] status for some lemmas, adding [simp] for others. Plus fixes.

isabelle