src/HOL/Analysis/Great_Picard.thy
4 months ago Angeliki KoutsoukouArgyraki 2019-01-22 minor tagging updates in 13 theories
5 months ago immler 2019-01-17 subsection is always %important
5 months ago immler 2019-01-17 redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7
5 months ago immler 2019-01-17 revert to 56acd449da41
5 months ago Angeliki KoutsoukouArgyraki 2019-01-17 more tagging
5 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
9 months ago Angeliki KoutsoukouArgyraki 2018-09-03 tagged 1 theory: Great_Picard
11 months ago paulson 2018-06-28 Generalising and renaming some basic results
13 months ago paulson 2018-05-21 small clean-up of Complex_Analysis_Basics
15 months ago paulson 2018-02-25 new material on matrices, etc., and consolidating duplicate results about of_nat
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
20 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
21 months ago paulson 2017-09-19 Using the "constant_on" operator
22 months ago eberlm 2017-08-17 Replaced subseq with strict_mono
2017-05-14 wenzelm 2017-05-14 eliminated suspicious Unicode;
2017-03-16 paulson 2017-03-16 Removed [simp] status for Complex_eq. Also tidied some proofs
2017-02-28 paulson 2017-02-28 Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
2017-02-22 paulson 2017-02-22 The Great Picard Theorem