src/HOL/Analysis/Analysis.thy

--- a/src/HOL/Analysis/Analysis.thy	Wed Aug 28 00:08:14 2019 +0200
+++ b/src/HOL/Analysis/Analysis.thy	Wed Aug 28 08:51:20 2019 +0200
@@ -43,7 +43,7 @@
   Generalised_Binomial_Theorem
   Gamma_Function
   Change_Of_Vars
-  Lipschitz
+  Multivariate_Analysis
   Simplex_Content
 begin