doc-src/Sledgehammer/sledgehammer.tex
changeset 43352 597f31069e18
parent 43260 7b875e14b90d
child 43571 423f100f1f85
     1.1 --- a/doc-src/Sledgehammer/sledgehammer.tex	Fri Jun 10 12:01:15 2011 +0200
     1.2 +++ b/doc-src/Sledgehammer/sledgehammer.tex	Fri Jun 10 12:01:15 2011 +0200
     1.3 @@ -1014,7 +1014,7 @@
     1.4  empirically found to be appropriate for the prover. A typical value would be
     1.5  250.
     1.6  
     1.7 -\opdefault{max\_new\_mono\_instances}{int}{\upshape 400}
     1.8 +\opdefault{max\_new\_mono\_instances}{int}{\upshape 200}
     1.9  Specifies the maximum number of monomorphic instances to generate beyond
    1.10  \textit{max\_relevant}. The higher this limit is, the more monomorphic instances
    1.11  are potentially generated. Whether monomorphization takes place depends on the