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 document
authornipkow
Thu, 23 Apr 2020 23:08:29 +0200
changeset 71796 641f4c8ffec8
parent 71795 8ad9b2d3dd81
child 71797 54d4bfa48025
tuned document
src/HOL/Data_Structures/Tree2.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Data_Structures/Tree2.thy	Thu Apr 23 22:54:23 2020 +0200
+++ b/src/HOL/Data_Structures/Tree2.thy	Thu Apr 23 23:08:29 2020 +0200
@@ -1,3 +1,5 @@
+section \<open>Augmented Tree (Tree2)\<close>
+
 theory Tree2
 imports "HOL-Library.Tree"
 begin
isabelle