diff --git a/thys/Order_Lattice_Props/ROOT b/thys/Order_Lattice_Props/ROOT
--- a/thys/Order_Lattice_Props/ROOT
+++ b/thys/Order_Lattice_Props/ROOT
@@ -1,19 +1,17 @@
 chapter AFP
 
 session Order_Lattice_Props = "HOL-Library" +
   options [timeout = 600]
-
   theories
     Sup_Lattice
     Order_Duality
     Order_Lattice_Props
     Representations
     Galois_Connections
     Fixpoint_Fusion
     Closure_Operators
     Order_Lattice_Props_Loc
     Order_Lattice_Props_Wenzel
-
   document_files
     "root.tex"
-    "root.bib"
\ No newline at end of file
+    "root.bib"