--- a/doc-src/Sledgehammer/sledgehammer.tex Mon Sep 13 09:36:34 2010 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex Mon Sep 13 13:12:33 2010 +0200
@@ -434,7 +434,7 @@
\opnodefault{atp}{string}
Alias for \textit{atps}.
-\opdefault{timeout}{time}{$\mathbf{60}$ s}
+\opdefault{timeout}{time}{$\mathbf{30}$ s}
Specifies the maximum amount of time that the ATPs should spend searching for a
proof. For historical reasons, the default value of this option can be
overridden using the option ``Sledgehammer: Time Limit'' from the ``Isabelle''