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.
tuned whitespace;
authorwenzelm
Mon, 29 Dec 2014 19:17:24 +0100
changeset 59197 c112a24446d4
parent 59196 73a6403637b3
child 59198 c73933e07c03
tuned whitespace;
src/HOL/Hahn_Banach/Hahn_Banach.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Hahn_Banach/Hahn_Banach.thy	Mon Dec 29 15:38:59 2014 +0100
+++ b/src/HOL/Hahn_Banach/Hahn_Banach.thy	Mon Dec 29 19:17:24 2014 +0100
@@ -297,7 +297,7 @@
 qed
 
 
-subsection  \<open>Alternative formulation\<close>
+subsection \<open>Alternative formulation\<close>
 
 text \<open>
   The following alternative formulation of the Hahn-Banach
isabelle