added Quickcheck_Benchmark (cf. 1959baa22632);
1.1 --- a/src/HOL/ROOT Sat Jul 28 20:20:35 2012 +0200
1.2 +++ b/src/HOL/ROOT Sat Jul 28 20:27:39 2012 +0200
1.3 @@ -734,7 +734,12 @@
1.4
1.5 session Quickcheck_Examples = HOL +
1.6 options [document = false]
1.7 - theories Quickcheck_Examples (* FIXME *)
1.8 + theories
1.9 + Quickcheck_Examples (* FIXME more *)
1.10 +
1.11 +session Quickcheck_Benchmark = HOL +
1.12 + theories [condition = ISABELLE_BENCHMARK]
1.13 + Find_Unused_Assms_Examples (* FIXME more *)
1.14
1.15 session Quotient_Examples = HOL +
1.16 description {*