--- a/src/HOL/ROOT Fri Sep 12 13:50:55 2014 +0200
+++ b/src/HOL/ROOT Fri Sep 12 16:42:36 2014 +0200
@@ -716,8 +716,12 @@
session "HOL-Nominal-Examples" in "Nominal/Examples" = "HOL-Nominal" +
options [timeout = 3600, condition = ISABELLE_POLYML, document = false]
- theories Nominal_Examples
- theories [quick_and_dirty] VC_Condition
+ theories
+ Nominal_Examples_Base
+ theories [condition = ISABELLE_FULL_TEST]
+ Nominal_Examples
+ theories [quick_and_dirty]
+ VC_Condition
session "HOL-Cardinals" in Cardinals = HOL +
description {*