isabelle: Changelog

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)

nipkow [Mon, 27 Apr 2015 15:02:51 +0200] rev 60148

new lemma

nipkow [Sat, 25 Apr 2015 17:38:22 +0200] rev 60147

new ==> simp rule

blanchet [Wed, 22 Apr 2015 20:07:00 +0200] rev 60146

improved docs

isabelle