Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adding setup for exhaustive testing in example file
authorbulwahn
Mon, 22 Nov 2010 14:19:03 +0100
changeset 40660 86a1f61d260e
parent 40659 b26afaa55a75
child 40661 f643399acab3
adding setup for exhaustive testing in example file
src/HOL/ex/Quickcheck_Examples.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Quickcheck_Examples.thy	Mon Nov 22 11:35:11 2010 +0100
+++ b/src/HOL/ex/Quickcheck_Examples.thy	Mon Nov 22 14:19:03 2010 +0100
@@ -9,6 +9,8 @@
 imports Main
 begin
 
+setup {* Smallvalue_Generators.setup *}
+
 text {*
 The 'quickcheck' command allows to find counterexamples by evaluating
 formulae.
isabelle