Tue, 28 Apr 2015 16:23:38 +0100 | paulson | New material about complex transcendental functions (especially Ln, Arg) and polynomials | changeset | files |
Tue, 28 Apr 2015 16:23:05 +0100 | paulson | Fixed a non-terminating proof (almost certainly caused by no change of mind) | changeset | files |
Mon, 27 Apr 2015 15:02:51 +0200 | nipkow | new lemma | changeset | files |
Sat, 25 Apr 2015 17:38:22 +0200 | nipkow | new ==> simp rule | changeset | files |
Wed, 22 Apr 2015 20:07:00 +0200 | blanchet | improved docs | changeset | files |
Wed, 22 Apr 2015 13:48:34 +0200 | nipkow | merged | changeset | files |