src/HOL/ROOT
changeset 58371 7f30ec82fe40
parent 58367 8af1e68d7e1a
child 58372 bfd497f2f4c2
     1.1 --- a/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4    description {*
     1.5      HOL-Main with explicit proof terms.
     1.6    *}
     1.7 -  options [document = false]
     1.8 +  options [timeout = 5400, document = false]
     1.9    theories Proofs (*sequential change of global flag!*)
    1.10    theories Main
    1.11    files