Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Oops! Change_Of_Vars was not being imported to Analysis!
authorpaulson <lp15@cam.ac.uk>
Wed, 18 Apr 2018 18:46:51 +0100
changeset 68000 40b790c5a11d
parent 67999 1b05f74f2e5f
child 68001 0a2a1b6507c1
Oops! Change_Of_Vars was not being imported to Analysis!
src/HOL/Analysis/Analysis.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle