--- a/src/HOL/ROOT Tue Jul 31 12:38:01 2012 +0200
+++ b/src/HOL/ROOT Thu Jul 26 15:55:19 2012 +0200
@@ -740,8 +740,11 @@
Quickcheck_Narrowing_Examples
session Quickcheck_Benchmark = HOL +
- theories [condition = ISABELLE_BENCHMARK]
- Find_Unused_Assms_Examples (* FIXME more *)
+ theories [condition = ISABELLE_BENCHMARK, quick_and_dirty]
+ Find_Unused_Assms_Examples
+ Needham_Schroeder_No_Attacker_Example
+ Needham_Schroeder_Guided_Attacker_Example
+ Needham_Schroeder_Unguided_Attacker_Example (* FIXME more *)
session Quotient_Examples = HOL +
description {*