diff --git a/thys/FOL_Seq_Calc2/ROOT b/thys/FOL_Seq_Calc2/ROOT
--- a/thys/FOL_Seq_Calc2/ROOT
+++ b/thys/FOL_Seq_Calc2/ROOT
@@ -1,23 +1,25 @@
-session SeCaV_Prover = "HOL-Library" +
-  options [document = pdf, document_output = "output", timeout = 300]
+chapter AFP
+
+session FOL_Seq_Calc2 = "HOL-Library" +
+  options [timeout = 300]
   sessions
     Collections
     Abstract_Completeness
     Abstract_Soundness
     FOL_Seq_Calc1
   theories
     SeCaV
     Sequent1
     Sequent_Calculus_Verifier
     Prover
     Export
     ProverLemmas
     Hintikka
     EPathHintikka
     Usemantics
     Countermodel
     Soundness
     Completeness
     Results
   document_files
     "root.tex"