diff --git a/thys/Store_Buffer_Reduction/ROOT b/thys/Store_Buffer_Reduction/ROOT
--- a/thys/Store_Buffer_Reduction/ROOT
+++ b/thys/Store_Buffer_Reduction/ROOT
@@ -1,12 +1,12 @@
 chapter AFP
 
 session Store_Buffer_Reduction (AFP) = HOL +
-   options [timeout=600]
-   theories
-     Text
-     PIMP
-     Preliminaries
-   document_files
-     "root.tex"
-     "root.bib"
-     "llncs.cls"
+  options [timeout = 600]
+  theories
+    Text
+    PIMP
+    Preliminaries
+  document_files
+    "root.tex"
+    "root.bib"
+    "llncs.cls"