isabelle: Changelog

hoelzl [Wed, 02 Apr 2014 18:35:07 +0200] rev 56371

extend continuous_intros; remove continuous_on_intros and isCont_intros

hoelzl [Wed, 02 Apr 2014 18:35:02 +0200] rev 56370

reorder Complex_Analysis_Basics; rename DD to deriv

hoelzl [Wed, 02 Apr 2014 18:35:01 +0200] rev 56369

moved generic theorems from Complex_Analysis_Basic; fixed some theorem names

wenzelm [Wed, 02 Apr 2014 17:47:56 +0200] rev 56368

merged;

wenzelm [Wed, 02 Apr 2014 17:39:47 +0200] rev 56367

tuned rendering;

paulson <lp15@cam.ac.uk> [Wed, 02 Apr 2014 16:45:31 +0100] rev 56366

new theorem about zero limits

paulson <lp15@cam.ac.uk> [Wed, 02 Apr 2014 16:34:37 +0100] rev 56365

New theorems for extracting quotients

wenzelm [Wed, 02 Apr 2014 17:11:44 +0200] rev 56364

more contributors;

Andreas Lochbihler [Tue, 01 Apr 2014 14:24:28 +0200] rev 56363

document value generation for quickcheck's testers

wenzelm [Wed, 02 Apr 2014 13:53:32 +0200] rev 56362

tuned whitespace;

isabelle