--- a/doc-src/Sledgehammer/sledgehammer.tex Fri Jun 10 12:01:15 2011 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex Fri Jun 10 12:01:15 2011 +0200
@@ -1014,7 +1014,7 @@
empirically found to be appropriate for the prover. A typical value would be
250.
-\opdefault{max\_new\_mono\_instances}{int}{\upshape 400}
+\opdefault{max\_new\_mono\_instances}{int}{\upshape 200}
Specifies the maximum number of monomorphic instances to generate beyond
\textit{max\_relevant}. The higher this limit is, the more monomorphic instances
are potentially generated. Whether monomorphization takes place depends on the