diff --git a/thys/ZFC_in_HOL/ROOT b/thys/ZFC_in_HOL/ROOT
--- a/thys/ZFC_in_HOL/ROOT
+++ b/thys/ZFC_in_HOL/ROOT
@@ -1,14 +1,15 @@
 chapter AFP
 
 session ZFC_in_HOL (AFP) = HOL +
   options [timeout = 600]
   sessions
     "HOL-Library"
     "HOL-Analysis"
     "HOL-Cardinals"
   theories
     Cantor_NF
     ZFC_Typeclasses
+    General_Cardinals
   document_files
     "root.tex"
     "root.bib"