src/HOL/Analysis/Convex.thy

-(* Title:      HOL/Analysis/Convex_Euclidean_Space.thy
+(* Title:      HOL/Analysis/Convex.thy
    Author:     L C Paulson, University of Cambridge
    Author:     Robert Himmelmann, TU Muenchen
    Author:     Bogdan Grechuk, University of Edinburgh
    Author:     Armin Heller, TU Muenchen
    Author:     Johannes Hoelzl, TU Muenchen