src/HOL/ROOT

   options [document = false]
   theories MutabelleExtra
 
 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 {*
     Author:     Cezary Kaliszyk and Christian Urban
   *}