src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Mar 06 21:12:47 2023 +0100
+++ b/src/HOL/ROOT	Wed Mar 08 08:10:10 2023 +0100
@@ -287,6 +287,7 @@
     Sorting
     Balance
     Tree_Map
+    Tree_Rotations
     Interval_Tree
     AVL_Map
     AVL_Bal_Set