changeset 69722 | b5163b2132c5 |
parent 69687 | b18353d3fe1a |
child 69739 | 8b47c021666e |
--- a/src/HOL/Analysis/Finite_Product_Measure.thy Tue Jan 22 21:16:48 2019 +0000 +++ b/src/HOL/Analysis/Finite_Product_Measure.thy Tue Jan 22 22:57:16 2019 +0000 @@ -2,7 +2,7 @@ Author: Johannes Hölzl, TU München *) -section%important \<open>Finite Product Measure\<close> +section \<open>Finite Product Measure\<close> theory Finite_Product_Measure imports Binary_Product_Measure