src/HOL/Analysis/Convex.thy
2 months ago nipkow 2019-02-13 removed subsumed lemma
2 months ago haftmann 2019-01-31 proper congruence rule for image operator
3 months ago immler 2019-01-16 Reorg, in particular Determinants as well as some linear algebra from Starlike and Change_Of_Vars
3 months ago haftmann 2019-01-14 tuned proofs
3 months ago immler 2019-01-07 split off Convex.thy: material that does not require Topology_Euclidean_Space