| changeset 38683 | 23266607cb81 |
| parent 38601 | 0da6db609c1f |
| child 38684 | e2c04af9469b |
--- a/doc-src/Sledgehammer/sledgehammer.tex Mon Aug 23 18:25:49 2010 +0200 +++ b/doc-src/Sledgehammer/sledgehammer.tex Mon Aug 23 18:39:12 2010 +0200 @@ -447,7 +447,7 @@ \label{relevance-filter} \begin{enum} -\opdefault{relevance\_threshold}{int}{50} +\opdefault{relevance\_threshold}{int}{40} Specifies the threshold above which facts are considered relevant by the relevance filter. The option ranges from 0 to 100, where 0 means that all theorems are relevant.