diff --git a/thys/Core_DOM/ROOT b/thys/Core_DOM/ROOT
--- a/thys/Core_DOM/ROOT
+++ b/thys/Core_DOM/ROOT
@@ -1,20 +1,20 @@
 chapter AFP
 
-session "Core_DOM" (AFP) = "HOL-Library" + 
-  options [timeout = 1200]
+session "Core_DOM" (AFP) = "HOL-Library" +
+  options [timeout = 1500]
   directories
     "common"
     "common/classes"
     "common/monads"
     "common/pointers"
     "common/preliminaries"
     "common/tests"
-    "standard" 
-    "standard/classes" 
-    "standard/pointers" 
+    "standard"
+    "standard/classes"
+    "standard/pointers"
   theories
     Core_DOM
     Core_DOM_Tests
   document_files (in "document")
     "root.tex"
     "root.bib"
diff --git a/thys/Core_SC_DOM/ROOT b/thys/Core_SC_DOM/ROOT
--- a/thys/Core_SC_DOM/ROOT
+++ b/thys/Core_SC_DOM/ROOT
@@ -1,20 +1,20 @@
 chapter AFP
 
 session "Core_SC_DOM" (AFP) = "HOL-Library" +
-  options [timeout = 1200]
+  options [timeout = 1500]
   directories
     "common"
     "common/classes"
     "common/monads"
     "common/pointers"
     "common/preliminaries"
     "common/tests"
     "safely_composable"
     "safely_composable/classes"
     "safely_composable/pointers"
   theories
     Core_DOM
     Core_DOM_Tests
   document_files (in "document")
     "root.tex"
     "root.bib"