src/HOL/Analysis/Analysis.thy

--- a/src/HOL/Analysis/Analysis.thy	Fri Sep 30 14:05:51 2016 +0100
+++ b/src/HOL/Analysis/Analysis.thy	Fri Sep 30 11:35:39 2016 +0200
@@ -1,6 +1,5 @@
 theory Analysis
 imports
-  Regularity
   Lebesgue_Integral_Substitution
   Embed_Measure
   Complete_Measure