Add Binder_Inductive to operations session

jvanbruegge · Aug 1, 2024 · 34d75aa · 34d75aa
1 parent 98c34cc
commit 34d75aa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ROOT b/ROOT
@@ -40,6 +40,7 @@ session Binders in "thys" = Prelim +
 
 session Operations in "operations" = Binders +
   theories
+    Binder_Inductive
     Fixpoint
     Recursor
     VVSubst