diff --git a/thys/Hybrid_Logic/ROOT b/thys/Hybrid_Logic/ROOT
--- a/thys/Hybrid_Logic/ROOT
+++ b/thys/Hybrid_Logic/ROOT
@@ -1,11 +1,11 @@
 chapter AFP
 
 session Hybrid_Logic (AFP) = HOL +
-  options [timeout=600]
+  options [timeout = 600]
   sessions
     "HOL-Library"
   theories
     Hybrid_Logic
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Relation_Algebra/ROOT b/thys/Relation_Algebra/ROOT
--- a/thys/Relation_Algebra/ROOT
+++ b/thys/Relation_Algebra/ROOT
@@ -1,18 +1,16 @@
 chapter AFP
 
 session Relation_Algebra (AFP) = Kleene_Algebra +
   options [timeout = 600]
-
   theories
     More_Boolean_Algebra
     Relation_Algebra
     Relation_Algebra_Vectors
     Relation_Algebra_Tests
     Relation_Algebra_Functions
     Relation_Algebra_Direct_Products
     Relation_Algebra_RTC
     Relation_Algebra_Models
-
   document_files
     "root.bib"
     "root.tex"
diff --git a/thys/Stone_Algebras/ROOT b/thys/Stone_Algebras/ROOT
--- a/thys/Stone_Algebras/ROOT
+++ b/thys/Stone_Algebras/ROOT
@@ -1,16 +1,12 @@
 chapter AFP
 
 session "Stone_Algebras" (AFP) = HOL +
-
   options [timeout = 600]
-
   theories
     Lattice_Basics
     P_Algebras
     Filters
     Stone_Construction
-
   document_files
     "root.tex"
     "root.bib"
-
diff --git a/thys/Stone_Relation_Algebras/ROOT b/thys/Stone_Relation_Algebras/ROOT
--- a/thys/Stone_Relation_Algebras/ROOT
+++ b/thys/Stone_Relation_Algebras/ROOT
@@ -1,18 +1,14 @@
 chapter AFP
 
 session Stone_Relation_Algebras (AFP) = Stone_Algebras +
-
   options [timeout = 600]
-
   theories
     Fixpoints
     Semirings
     Relation_Algebras
     Relation_Subalgebras
     Matrix_Relation_Algebras
     Linear_Order_Matrices
-
   document_files
     "root.tex"
     "root.bib"
-