changeset 58877 | 262572d90bc6 |
parent 58776 | 95e58e04e534 |
child 59807 | 22bc39064290 |
--- a/src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy Sun Nov 02 17:06:05 2014 +0100 +++ b/src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy Sun Nov 02 17:09:04 2014 +0100 @@ -3,7 +3,7 @@ Author: Bogdan Grechuk, University of Edinburgh *) -header {* Convex sets, functions and related things. *} +section {* Convex sets, functions and related things. *} theory Convex_Euclidean_Space imports