isabelle: Changelog

wenzelm [Sat, 10 Dec 2016 17:22:47 +0100] rev 64546

clarified output: avoid confusion with line:column notation;

wenzelm [Sat, 10 Dec 2016 17:20:39 +0100] rev 64545

clarified JSON operations (see isabelle_vscode/a7931dc2a1ab);

wenzelm [Sat, 10 Dec 2016 15:45:16 +0100] rev 64544

updated Poly/ML repository test version (08-Dec-2016);

bulwahn [Thu, 08 Dec 2016 17:22:51 +0100] rev 64543

remove typo in bij_swap_compose_bij theorem name; tune proof

bulwahn [Thu, 08 Dec 2016 15:21:18 +0100] rev 64542

filter non-matching prems to not fail in proof procedure; include test case (related to c8a93680b80d)

nipkow [Wed, 07 Dec 2016 08:14:40 +0100] rev 64541

more lemmas

nipkow [Mon, 05 Dec 2016 18:14:41 +0100] rev 64540

spelling

wenzelm [Sun, 04 Dec 2016 21:40:50 +0100] rev 64539

misc tuning and modernization;

wenzelm [Sun, 04 Dec 2016 18:53:22 +0100] rev 64538

back to isabelle-dev repository;

wenzelm [Sun, 04 Dec 2016 18:53:55 +0100] rev 64537

merged

isabelle