| Thu, 16 Mar 2017 16:02:18 +0000 | paulson | Removed [simp] status for Complex_eq. Also tidied some proofs | file | diff | annotate |
| Tue, 28 Feb 2017 13:51:47 +0000 | paulson | Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands | file | diff | annotate |
| Wed, 22 Feb 2017 16:21:26 +0000 | paulson | The Great Picard Theorem | file | diff | annotate |