isabelle: Changelog

paulson <lp15@cam.ac.uk> [Mon, 07 Dec 2015 16:48:10 +0000] rev 61807

Merge

paulson <lp15@cam.ac.uk> [Mon, 07 Dec 2015 16:44:26 +0000] rev 61806

Cauchy's integral formula for circles. Starting to fix eventually_mono.

eberlm [Mon, 07 Dec 2015 17:00:56 +0100] rev 61805

Merged

eberlm [Mon, 07 Dec 2015 16:06:49 +0100] rev 61804

Generalised derivative rule for division on formal power series

wenzelm [Mon, 07 Dec 2015 16:27:09 +0100] rev 61803

tuned;

wenzelm [Mon, 07 Dec 2015 15:20:06 +0100] rev 61802

more thorough update request: semantic state of command may have changed elsewise;

wenzelm [Mon, 07 Dec 2015 15:18:05 +0100] rev 61801

tuned signature;

wenzelm [Mon, 07 Dec 2015 15:16:28 +0100] rev 61800

tuned whitespace;

wenzelm [Mon, 07 Dec 2015 10:38:04 +0100] rev 61799

isabelle update_cartouches -c -t;

wenzelm [Mon, 07 Dec 2015 10:23:50 +0100] rev 61798

isabelle update_cartouches -c -t;

isabelle