isabelle: Changelog

wenzelm [Fri, 06 Mar 2015 13:40:21 +0100] rev 59619

merged

wenzelm [Fri, 06 Mar 2015 13:39:34 +0100] rev 59618

clarified context;

wenzelm [Fri, 06 Mar 2015 00:00:57 +0100] rev 59617

tuned -- more explicit use of context;

wenzelm [Thu, 05 Mar 2015 13:28:04 +0100] rev 59616

tuned -- more explicit use of context;

paulson <lp15@cam.ac.uk> [Fri, 06 Mar 2015 12:48:03 +0000] rev 59615

A few new lemmas and a bit of tidying up

paulson <lp15@cam.ac.uk> [Thu, 05 Mar 2015 17:39:04 +0000] rev 59614

Merge

paulson <lp15@cam.ac.uk> [Thu, 05 Mar 2015 17:30:29 +0000] rev 59613

The function frac. Various lemmas about limits, series, the exp function, etc.

blanchet [Thu, 05 Mar 2015 16:45:24 +0100] rev 59612

avoid needless 'if ... undefined' in generated theorems

blanchet [Thu, 05 Mar 2015 15:44:37 +0100] rev 59611

strengthened tactic

blanchet [Thu, 05 Mar 2015 14:58:35 +0100] rev 59610

strengthened tactic

isabelle