# HG changeset patch
# User bulwahn
# Date 1290431943 -3600
# Node ID 86a1f61d260ee818c2a7f8655b38f9e7f80fb88d
# Parent  b26afaa55a75e1b735b2d70b52e1b8b0c8106828
adding setup for exhaustive testing in example file

diff -r b26afaa55a75 -r 86a1f61d260e src/HOL/ex/Quickcheck_Examples.thy
--- 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.