Fix ROOT file

jvanbruegge · Aug 1, 2024 · cf5590c · cf5590c
1 parent 34d75aa
commit cf5590c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ROOT b/ROOT
@@ -38,7 +38,7 @@ session Binders in "thys" = Prelim +
     General_Customization
     Urban_Berghofer_Norrish_Rule_Induction
 
-session Operations in "operations" = Binders +
+session Operations in "operations" = Untyped_Lambda_Calculus +
   theories
     Binder_Inductive
     Fixpoint