# HG changeset patch
# User wenzelm
# Date 1126973484 -7200
# Node ID a4090ccf14a8b71c5d076caefcd4100a07a47a22
# Parent  e9c1574d0caf1b9a7f44305e562e8371c5937ba2
added quickcheck_params (from Main.thy);

diff -r e9c1574d0caf -r a4090ccf14a8 src/HOL/Integ/IntDef.thy
--- a/src/HOL/Integ/IntDef.thy	Sat Sep 17 18:11:23 2005 +0200
+++ b/src/HOL/Integ/IntDef.thy	Sat Sep 17 18:11:24 2005 +0200
@@ -911,6 +911,8 @@
 
 setup {* [Codegen.add_codegen "number_of_codegen" number_of_codegen] *}
 
+quickcheck_params [default_type = int]
+
 
 (*Legacy ML bindings, but no longer the structure Int.*)
 ML