src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Sep 19 20:24:39 2023 +0200
+++ b/src/HOL/ROOT	Wed Sep 20 17:40:09 2023 +0200
@@ -394,9 +394,10 @@
     Clausification
     Message
     Proxies
+    Sets
+    Sledgehammer_Isar_Proofs
     Tarski
     Trans_Closure
-    Sets
 
 session "HOL-Nitpick_Examples" in Nitpick_Examples = HOL +
   description "