Add theories to ROOT file

jvanbruegge · jvanbruegge · commit 4d4ca9f4cc99 · 2025-07-11T11:09:59.000+01:00
diff --git a/ROOT b/ROOT
@@ -37,6 +37,8 @@ session Binders in "thys" = Prelim +
     Generic_Barendregt_Enhanced_Rule_Induction
     General_Customization
     Urban_Berghofer_Norrish_Rule_Induction
+    Swapping
+    Support
 
 session Operations in "operations" = Untyped_Lambda_Calculus +
   theories
@@ -49,6 +51,8 @@ session Operations in "operations" = Untyped_Lambda_Calculus +
     VVSubst
     TVSubst
     Sugar
+    BMV_Monad
+    BMV_Fixpoint
 
 session Tests in "tests" = Binders +
   sessions
