| Mon, 21 Dec 2015 14:44:44 +0100 | hoelzl | Transcendental: use [simp]-canonical form - (pi/2) | changeset | files |
| Thu, 17 Dec 2015 16:43:36 +0100 | hoelzl | moved some theorems from the CLT proof; reordered some theorems / notation | changeset | files |
| Sun, 20 Dec 2015 13:56:02 +0100 | wenzelm | tuned whitespace; | changeset | files |