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 63829 6a05c8cbf7de
parent 63827 b24d0e53dd03
child 63885 a6cd18af8bf9 
--- a/src/HOL/ROOT	Fri Sep 09 13:39:21 2016 +0200
+++ b/src/HOL/ROOT	Fri Sep 09 14:15:16 2016 +0200
@@ -183,7 +183,7 @@
     "~~/src/HOL/Library/Multiset"
     "~~/src/HOL/Library/Float"
   theories
-    Balance_List
+    Balance
     Tree_Map
     AVL_Map
     RBT_Map
isabelle