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/Real_Vector_Spaces.thy
changeset 68532 f8b98d31ad45
parent 68499 d4312962161a
child 68594 5b05ede597b8 
--- a/src/HOL/Real_Vector_Spaces.thy	Thu Jun 28 14:14:05 2018 +0100
+++ b/src/HOL/Real_Vector_Spaces.thy	Thu Jun 28 17:14:40 2018 +0100
@@ -1092,7 +1092,7 @@
   then show ?thesis
     by simp
 qed
-
+  
 subclass uniform_space
 proof
   fix E x
isabelle