isabelle: Changelog

paulson <lp15@cam.ac.uk> [Wed, 18 Mar 2015 14:28:40 +0000] rev 59743

Merge

paulson <lp15@cam.ac.uk> [Wed, 18 Mar 2015 14:14:07 +0000] rev 59742

Merge

paulson <lp15@cam.ac.uk> [Wed, 18 Mar 2015 14:13:27 +0000] rev 59741

Lots of new material on complex-valued functions. Modified simplification of (x/n)^k

noschinl [Wed, 18 Mar 2015 15:23:12 +0100] rev 59740

merged

noschinl [Wed, 18 Mar 2015 13:51:33 +0100] rev 59739

added proof method rewrite

wenzelm [Wed, 18 Mar 2015 13:31:52 +0100] rev 59738

merged

wenzelm [Tue, 17 Mar 2015 16:38:09 +0100] rev 59737

tuned;

wenzelm [Tue, 17 Mar 2015 16:17:49 +0100] rev 59736

tight span for theory header, which is relevant for error positions (including semantic completion);

wenzelm [Tue, 17 Mar 2015 15:21:41 +0100] rev 59735

misc tuning and simplification;

paulson <lp15@cam.ac.uk> [Tue, 17 Mar 2015 17:45:03 +0000] rev 59734

Inserted real_of_nat to fix factorial-related problem

isabelle