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/Data_Structures/Brother12_Set.thy
changeset 76063 24c9f56aa035
parent 73526 a3cc9fa1295d
child 78653 7ed1759fe1bd 
--- a/src/HOL/Data_Structures/Brother12_Set.thy	Mon Sep 05 19:23:12 2022 +0200
+++ b/src/HOL/Data_Structures/Brother12_Set.thy	Mon Sep 05 20:22:13 2022 +0200
@@ -488,7 +488,7 @@
 
 subsection \<open>Height-Size Relation\<close>
 
-text \<open>By Daniel St\"uwe\<close>
+text \<open>By Daniel Stüwe\<close>
 
 fun fib_tree :: "nat \<Rightarrow> unit bro" where
   "fib_tree 0 = N0"
isabelle