changeset 58877 | 262572d90bc6 |
parent 58410 | 6d46ad54a2ab |
child 59425 | c5e79df8cc21 |
--- a/src/HOL/Multivariate_Analysis/Integration.thy Sun Nov 02 17:06:05 2014 +0100 +++ b/src/HOL/Multivariate_Analysis/Integration.thy Sun Nov 02 17:09:04 2014 +0100 @@ -2,7 +2,7 @@ Author: Robert Himmelmann, TU Muenchen (Translation from HOL light) *) -header {* Kurzweil-Henstock Gauge Integration in many dimensions. *} +section {* Kurzweil-Henstock Gauge Integration in many dimensions. *} theory Integration imports