changeset 45288 | fc3c7db5bb2f |
parent 45287 | 97df8c08291c |
child 46731 | 5302e932d1e5 |
--- a/src/HOL/Probability/Borel_Space.thy Fri Oct 28 14:06:06 2011 +0200 +++ b/src/HOL/Probability/Borel_Space.thy Fri Oct 28 14:10:19 2011 +0200 @@ -6,7 +6,7 @@ header {*Borel spaces*} theory Borel_Space - imports Sigma_Algebra "~~/src/HOL/Multvariate_Analysis/Multivariate_Analysis" + imports Sigma_Algebra "~~/src/HOL/Multivariate_Analysis/Multivariate_Analysis" begin section "Generic Borel spaces"