--- a/src/HOL/ROOT Tue Aug 29 11:08:42 2017 +0200 +++ b/src/HOL/ROOT Tue Aug 29 12:05:00 2017 +0200 @@ -203,6 +203,7 @@ "HOL-Library.Multiset" "HOL-Number_Theory.Fib" theories + Sorting Balance Tree_Map AVL_Map