--- a/doc-src/IsarRef/Thy/HOL_Specific.thy Wed Jun 27 17:36:24 2012 +0200
+++ b/doc-src/IsarRef/Thy/HOL_Specific.thy Wed Jun 27 17:36:46 2012 +0200
@@ -1888,6 +1888,8 @@
\item[@{text eval}] takes a term or a list of terms and evaluates
these terms under the variable assignment found by quickcheck.
+ This option is currently only supported by the default
+ (exhaustive) tester.
\item[@{text iterations}] sets how many sets of assignments are
generated for each particular size.
--- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex Wed Jun 27 17:36:24 2012 +0200
+++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex Wed Jun 27 17:36:46 2012 +0200
@@ -2671,6 +2671,8 @@
\item[\isa{eval}] takes a term or a list of terms and evaluates
these terms under the variable assignment found by quickcheck.
+ This option is currently only supported by the default
+ (exhaustive) tester.
\item[\isa{iterations}] sets how many sets of assignments are
generated for each particular size.