
diff -r 2aa42596edc3 -r 4359400adfe7 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




