Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Analysis/Analysis.thy
changeset 71200 3548d54ce3ee
parent 71197 36961c681fed
child 74475 409ca22dee4c 
--- a/src/HOL/Analysis/Analysis.thy	Mon Dec 02 14:07:42 2019 -0500
+++ b/src/HOL/Analysis/Analysis.thy	Mon Dec 02 22:40:16 2019 -0500
@@ -46,6 +46,7 @@
   FPS_Convergence
   Smooth_Paths
   Abstract_Euclidean_Space
+  Function_Metric
 begin
 
 end
isabelle