diff --git a/thys/Ordinary_Differential_Equations/ROOT b/thys/Ordinary_Differential_Equations/ROOT
--- a/thys/Ordinary_Differential_Equations/ROOT
+++ b/thys/Ordinary_Differential_Equations/ROOT
@@ -1,55 +1,57 @@
chapter AFP
session "Ordinary_Differential_Equations" (AFP) = "HOL-Analysis" +
options [timeout = 1200]
sessions
"HOL-Decision_Procs"
Triangle
"List-Index"
Affine_Arithmetic
directories
"Library"
"IVP"
theories
ODE_Analysis
document_files
"root.bib"
"root.tex"
session "HOL-ODE-Numerics" (AFP) in "Numerics" = Ordinary_Differential_Equations +
options [timeout = 10800]
sessions
Collections
Show
Affine_Arithmetic
Deriving
"HOL-Types_To_Sets"
directories
"../Refinement"
theories
ODE_Numerics
session "Lorenz_Approximation" (AFP) in "Ex/Lorenz" = "HOL-ODE-Numerics" +
options [timeout = 1200]
theories
Lorenz_Approximation
session "HOL-ODE-Examples" (AFP large) in "Ex" = "HOL-ODE-Numerics" +
- options [timeout = 7200]
+ options [timeout = 7200, document = false]
theories
ODE_Examples
+ document_files (in "../document")
+ "root.bib"
session "HOL-ODE-ARCH-COMP" (AFP) in "Ex/ARCH_COMP" = "HOL-ODE-Numerics" +
options [timeout = 7200]
theories
"Examples_ARCH_COMP"
session "Lorenz_C0" (AFP large) in "Ex/Lorenz/C0" = "Lorenz_Approximation" +
options [timeout = 14400]
theories
Lorenz_C0
session "Lorenz_C1" (AFP large) in "Ex/Lorenz/C1" = "Lorenz_Approximation" +
options [timeout = 300 (*360000*)]
theories
Lorenz_C1