# HG changeset patch
# User haftmann
# Date 1221574411 -7200
# Node ID 8aa636a9e2ce18cb54c04ce6cbdc8a2e58ef9717
# Parent  8fc6ea9a2d8c30e0f23ab8ee3b7999745e140721
added quickcheck stub

diff -r 8fc6ea9a2d8c -r 8aa636a9e2ce src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Tue Sep 16 16:13:14 2008 +0200
+++ b/src/Pure/IsaMakefile	Tue Sep 16 16:13:31 2008 +0200
@@ -73,7 +73,7 @@
   Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML	\
   Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML		\
   Thy/thy_edit.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML	\
-  Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/value.ML	\
+  Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/quickcheck.ML Tools/value.ML	\
   Tools/isabelle_process.ML Tools/named_thms.ML Tools/xml_syntax.ML	\
   assumption.ML axclass.ML codegen.ML config.ML conjunction.ML		\
   consts.ML context.ML conv.ML defs.ML display.ML drule.ML envir.ML	\
diff -r 8fc6ea9a2d8c -r 8aa636a9e2ce src/Pure/Tools/ROOT.ML
--- a/src/Pure/Tools/ROOT.ML	Tue Sep 16 16:13:14 2008 +0200
+++ b/src/Pure/Tools/ROOT.ML	Tue Sep 16 16:13:31 2008 +0200
@@ -5,6 +5,7 @@
 *)
 
 use "value.ML";
+use "quickcheck.ML";
 use "named_thms.ML";
 use "isabelle_process.ML";