--- a/src/HOL/ROOT Fri May 15 08:40:28 2020 +0200 +++ b/src/HOL/ROOT Sun May 17 17:18:32 2020 +0200 @@ -243,6 +243,7 @@ Interval_Tree AVL_Map AVL_Bal_Set + AVL_Bal2_Set Height_Balanced_Tree RBT_Set2 RBT_Map