| Wed, 22 Feb 2017 16:21:26 +0000 | paulson | The Great Picard Theorem | changeset | files |
| Wed, 22 Feb 2017 15:04:59 +0000 | paulson | New theory about Winding Numbers | changeset | files |
| Wed, 22 Feb 2017 12:30:28 +0000 | paulson | new lemmas about segments, etc. Also recast some theorems to use Union rather than general set comprehensions | changeset | files |
| Tue, 21 Feb 2017 17:12:10 +0000 | paulson | some new material, also recasting some theorems using “obtains” | changeset | files |
| Tue, 21 Feb 2017 15:04:01 +0000 | paulson | Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion | changeset | files |
| Sun, 19 Feb 2017 11:58:51 +0100 | haftmann | backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra | changeset | files |