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