diff --git a/thys/GewirthPGCProof/ROOT b/thys/GewirthPGCProof/ROOT
--- a/thys/GewirthPGCProof/ROOT
+++ b/thys/GewirthPGCProof/ROOT
@@ -1,11 +1,11 @@
 chapter AFP
 
 session GewirthPGCProof (AFP) = HOL +
-  options [timeout = 300, kodkod_scala = false]
+  options [timeout = 300]
   theories
     CJDDLplus
     ExtendedDDL
     GewirthArgument
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Regular_Algebras/ROOT b/thys/Regular_Algebras/ROOT
--- a/thys/Regular_Algebras/ROOT
+++ b/thys/Regular_Algebras/ROOT
@@ -1,13 +1,13 @@
 chapter AFP
 
 session "Regular_Algebras" (AFP) = "Kleene_Algebra" +
-  options [timeout = 900, kodkod_scala = false]
+  options [timeout = 900]
   theories
     Dioid_Power_Sum
     Regular_Algebras
     Regular_Algebra_Models
     Pratts_Counterexamples
     Regular_Algebra_Variants
   document_files
     "root.tex"
     "root.bib"
diff --git a/thys/Types_Tableaus_and_Goedels_God/ROOT b/thys/Types_Tableaus_and_Goedels_God/ROOT
--- a/thys/Types_Tableaus_and_Goedels_God/ROOT
+++ b/thys/Types_Tableaus_and_Goedels_God/ROOT
@@ -1,16 +1,16 @@
 chapter AFP
 
 session "Types_Tableaus_and_Goedels_God" (AFP) = "HOL" +
-  options [timeout = 300, kodkod_scala = false]
+  options [timeout = 300]
   theories [document = false]
     Relations
   theories
     IHOML
     IHOML_Examples
     GoedelProof_P1
     GoedelProof_P2
     FittingProof
     AndersonProof
   document_files
     "root.tex"
     "root.bib"