# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1524073611 -3600
# Node ID 40b790c5a11d9b7a89d1bdb95f280b5bec5dbb30
# Parent  1b05f74f2e5f8948de6f50ab8d6020fdc601debf
Oops! Change_Of_Vars was not being imported to Analysis!

diff -r 1b05f74f2e5f -r 40b790c5a11d src/HOL/Analysis/Analysis.thy
--- a/src/HOL/Analysis/Analysis.thy	Wed Apr 18 15:57:36 2018 +0100
+++ b/src/HOL/Analysis/Analysis.thy	Wed Apr 18 18:46:51 2018 +0100
@@ -22,7 +22,7 @@
   FPS_Convergence
   Generalised_Binomial_Theorem
   Gamma_Function
-  Vitali_Covering_Theorem
+  Change_Of_Vars
   Lipschitz
 begin