changeset 68072 | 493b818e8e10 |
parent 67982 | 7643b005b29a |
child 68073 | fad29d2a17a5 |
--- a/src/HOL/Analysis/Sigma_Algebra.thy Wed Apr 18 21:12:50 2018 +0100 +++ b/src/HOL/Analysis/Sigma_Algebra.thy Wed May 02 13:49:38 2018 +0200 @@ -11,7 +11,6 @@ imports Complex_Main "HOL-Library.Countable_Set" - "HOL-Library.FuncSet" "HOL-Library.Indicator_Function" "HOL-Library.Extended_Nonnegative_Real" "HOL-Library.Disjoint_Sets"