isabelle: Changelog

wenzelm [Thu, 30 Apr 2015 15:41:53 +0200] rev 60158

tuned;

wenzelm [Wed, 29 Apr 2015 23:30:47 +0200] rev 60157

use smaller example that fits into 64MB string limit of Poly/ML x86 platform;

wenzelm [Wed, 29 Apr 2015 23:26:11 +0200] rev 60156

tuned;

paulson <lp15@cam.ac.uk> [Wed, 29 Apr 2015 14:04:22 +0100] rev 60155

Tidying. Improved simplification for numerals, esp in exponents.

blanchet [Tue, 28 Apr 2015 22:57:07 +0200] rev 60154

allow sorts on dead variables in BNFs

blanchet [Tue, 28 Apr 2015 22:56:50 +0200] rev 60153

added known bug

blanchet [Tue, 28 Apr 2015 22:56:28 +0200] rev 60152

tuning

nipkow [Tue, 28 Apr 2015 19:09:28 +0200] rev 60151

undid 6d7b7a037e8d

paulson <lp15@cam.ac.uk> [Tue, 28 Apr 2015 16:23:38 +0100] rev 60150

New material about complex transcendental functions (especially Ln, Arg) and polynomials

paulson <lp15@cam.ac.uk> [Tue, 28 Apr 2015 16:23:05 +0100] rev 60149

Fixed a non-terminating proof (almost certainly caused by no change of mind)

isabelle