# HG changeset patch
# User wenzelm
# Date 1343500059 -7200
# Node ID 23456b2a769df87995bd14faca863348f9148356
# Parent  f9732774ffc7c54c2e22313d24150dd639c4d1a6
added Quickcheck_Benchmark (cf. 1959baa22632);

diff -r f9732774ffc7 -r 23456b2a769d src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Jul 28 20:20:35 2012 +0200
+++ b/src/HOL/ROOT	Sat Jul 28 20:27:39 2012 +0200
@@ -734,7 +734,12 @@
 
 session Quickcheck_Examples = HOL +
   options [document = false]
-  theories Quickcheck_Examples  (* FIXME *)
+  theories
+    Quickcheck_Examples (* FIXME more *)
+
+session Quickcheck_Benchmark = HOL +
+  theories [condition = ISABELLE_BENCHMARK]
+    Find_Unused_Assms_Examples  (* FIXME more *)
 
 session Quotient_Examples = HOL +
   description {*