--- a/src/HOL/Analysis/Analysis.thy	Sun Feb 25 20:05:05 2018 +0100
+++ b/src/HOL/Analysis/Analysis.thy	Mon Feb 26 07:34:05 2018 +0100
@@ -23,6 +23,7 @@
   Generalised_Binomial_Theorem
   Gamma_Function
   Ball_Volume
+  Lipschitz
 begin
 
 end
changeset 67727	ce3e87a51488
parent 67278	c60e3d615b8c
child 67996	6a9d1b31a7c5