isabelle: Changelog

wenzelm [Tue, 08 Dec 2015 10:49:08 +0100] rev 61811

added Proof_Context.add_thms_dynamic, which is potentially useful for Eisbach;

paulson <lp15@cam.ac.uk> [Wed, 09 Dec 2015 17:35:22 +0000] rev 61810

sorted out eventually_mono

nipkow [Tue, 08 Dec 2015 20:21:59 +0100] rev 61809

tightened invariant

wenzelm [Mon, 07 Dec 2015 20:19:59 +0100] rev 61808

isabelle update_cartouches -c -t;

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;

isabelle