Tue, 27 Oct 2015 15:17:02 +0000 | paulson | Cauchy's integral formula, required lemmas, and a bit of reorganisation | changeset | files |
Mon, 26 Oct 2015 23:42:01 +0000 | paulson | merged | changeset | files |
Mon, 26 Oct 2015 23:41:27 +0000 | paulson | new lemmas about topology, etc., for Cauchy integral formula | changeset | files |
Mon, 26 Oct 2015 19:00:24 +0100 | nipkow | adapted to 436b7fe89cdc | changeset | files |
Mon, 26 Oct 2015 18:04:17 +0100 | wenzelm | clarified Latex.environment (again, amending e16649b70107): avoid additional paragraph, e.g. relevant for option [display]; | changeset | files |
Sun, 25 Oct 2015 17:31:14 +0100 | nipkow | added 234-trees (slow) | changeset | files |
Sun, 25 Oct 2015 17:30:06 +0100 | nipkow | added 234-Trees (slow) | changeset | files |