src/HOL/ROOT
changeset 58423 e4d540c0dd57
parent 58419 593917a7ad02
child 58433 d518f892cec6
--- a/src/HOL/ROOT	Mon Sep 22 21:31:45 2014 +0200
+++ b/src/HOL/ROOT	Mon Sep 22 21:45:59 2014 +0200
@@ -19,7 +19,7 @@
   description {*
     HOL-Main with explicit proof terms.
   *}
-  options [timeout = 5400, document = false]
+  options [document = false]
   theories Proofs (*sequential change of global flag!*)
   theories "~~/src/HOL/Library/Old_Datatype"
   files
@@ -260,7 +260,7 @@
 
     Testing Metis and Sledgehammer.
   *}
-  options [timeout = 3600, document = false]
+  options [document = false]
   theories
     Abstraction
     Big_O
@@ -522,7 +522,7 @@
   description {*
     Miscellaneous examples for Higher-Order Logic.
   *}
-  options [timeout = 3600, condition = ML_SYSTEM_POLYML]
+  options [condition = ML_SYSTEM_POLYML]
   theories [document = false]
     "~~/src/HOL/Library/State_Monad"
     Code_Binary_Nat_examples
@@ -722,7 +722,7 @@
   theories Nominal
 
 session "HOL-Nominal-Examples" in "Nominal/Examples" = "HOL-Nominal" +
-  options [timeout = 3600, condition = ML_SYSTEM_POLYML, document = false]
+  options [condition = ML_SYSTEM_POLYML, document = false]
   theories
     Nominal_Examples_Base
   theories [condition = ISABELLE_FULL_TEST]