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/ROOT
changeset 72099 f978ecaf119a
parent 72056 b9f5f30b623f
child 72102 0b21b2beadb5 
--- a/src/HOL/ROOT	Thu Aug 06 13:07:23 2020 +0100
+++ b/src/HOL/ROOT	Thu Aug 06 17:11:33 2020 +0200
@@ -273,6 +273,7 @@
     RBT_Set2
     RBT_Map
     Tree23_Map
+    Tree23_of_List
     Tree234_Map
     Brother12_Map
     AA_Map
isabelle