src/HOL/ROOT
changeset 48635 bfce940c6f38
parent 48627 3ef76d545aaf
child 48636 38793f924c9a
--- a/src/HOL/ROOT	Wed Aug 01 15:46:45 2012 +0200
+++ b/src/HOL/ROOT	Wed Aug 01 15:50:50 2012 +0200
@@ -740,7 +740,7 @@
     Quickcheck_Narrowing_Examples
 
 session Quickcheck_Benchmark = HOL +
-  theories [condition = ISABELLE_BENCHMARK, quick_and_dirty]
+  theories [condition = ISABELLE_FULL_TEST, quick_and_dirty]
     Find_Unused_Assms_Examples
     Needham_Schroeder_No_Attacker_Example
     Needham_Schroeder_Guided_Attacker_Example
@@ -874,7 +874,7 @@
 session Datatype_Benchmark = HOL +
   description {* Some rather large datatype examples (from John Harrison). *}
   options [document = false]
-  theories [condition = ISABELLE_BENCHMARK, timing]
+  theories [condition = ISABELLE_FULL_TEST, timing]
     Brackin
     Instructions
     SML
@@ -883,6 +883,6 @@
 session Record_Benchmark = HOL +
   description {* Some benchmark on large record. *}
   options [document = false]
-  theories [condition = ISABELLE_BENCHMARK, timing]
+  theories [condition = ISABELLE_FULL_TEST, timing]
     Record_Benchmark