diff --git a/thys/Earley_Parser/ROOT b/thys/Earley_Parser/ROOT
--- a/thys/Earley_Parser/ROOT
+++ b/thys/Earley_Parser/ROOT
@@ -1,19 +1,19 @@
 chapter AFP
 
-session Earley_Parser (AFP) = HOL +
+session Earley_Parser = HOL +
   options [timeout = 600]
   sessions
     "HOL-Library"
   theories
     Limit
     CFG
     Derivations
     Earley
     Earley_Fixpoint
     Earley_Recognizer
     Earley_Parser
     Examples
   document_files
     "root.tex"
     "root.bib"
 
diff --git a/thys/Polygonal_Number_Theorem/ROOT b/thys/Polygonal_Number_Theorem/ROOT
--- a/thys/Polygonal_Number_Theorem/ROOT
+++ b/thys/Polygonal_Number_Theorem/ROOT
@@ -1,14 +1,14 @@
 chapter AFP
 
-session "Polygonal_Number_Theorem" (AFP) = "Three_Squares" +
+session "Polygonal_Number_Theorem" = "Three_Squares" +
   options [timeout = 600]
 
   theories
     "Polygonal_Number_Theorem_Lemmas"
     "Polygonal_Number_Theorem_Gauss"
     "Polygonal_Number_Theorem_Cauchy"
     "Polygonal_Number_Theorem_Legendre"
 
   document_files
     "root.tex"
     "root.bib"
\ No newline at end of file
diff --git a/thys/Quantales_Converse/ROOT b/thys/Quantales_Converse/ROOT
--- a/thys/Quantales_Converse/ROOT
+++ b/thys/Quantales_Converse/ROOT
@@ -1,20 +1,20 @@
 chapter AFP
 
-session "Quantales_Converse" (AFP) = HOL +
+session "Quantales_Converse" = HOL +
   options [timeout = 1200]
 
   sessions
    Kleene_Algebra
    KAD
    Quantales
 
   theories
     Modal_Kleene_Algebra_Var
     Kleene_Algebra_Converse
     Modal_Kleene_Algebra_Converse
     Modal_Quantale
     Quantale_Converse
 
   document_files
    "root.tex"
    "root.bib"
diff --git a/thys/Topological_Semantics/ROOT b/thys/Topological_Semantics/ROOT
--- a/thys/Topological_Semantics/ROOT
+++ b/thys/Topological_Semantics/ROOT
@@ -1,25 +1,25 @@
 chapter AFP
 
-session "Topological_Semantics" (AFP) = "HOL" +
+session "Topological_Semantics" = "HOL" +
   options [timeout = 600]
   theories
     boolean_algebra
     boolean_algebra_infinitary
     boolean_algebra_operators
     conditions_positive
     conditions_positive_infinitary
     conditions_negative
     conditions_negative_infinitary
     conditions_relativized
     conditions_relativized_infinitary
     logics_consequence
     logics_operators
     logics_negation
     logics_quantifiers
     logics_quantifiers_example
     logics_LFI
     logics_LFU
 
   document_files
     "root.tex"
     "root.bib"