src/HOL/ROOT
changeset 58329 a31404ec7414
parent 58313 57d2e5006d29
child 58331 054e9a9fccad
     1.1 --- a/src/HOL/ROOT	Fri Sep 12 13:50:55 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Sep 12 16:42:36 2014 +0200
     1.3 @@ -716,8 +716,12 @@
     1.4  
     1.5  session "HOL-Nominal-Examples" in "Nominal/Examples" = "HOL-Nominal" +
     1.6    options [timeout = 3600, condition = ISABELLE_POLYML, document = false]
     1.7 -  theories Nominal_Examples
     1.8 -  theories [quick_and_dirty] VC_Condition
     1.9 +  theories
    1.10 +    Nominal_Examples_Base
    1.11 +  theories [condition = ISABELLE_FULL_TEST]
    1.12 +    Nominal_Examples
    1.13 +  theories [quick_and_dirty]
    1.14 +    VC_Condition
    1.15  
    1.16  session "HOL-Cardinals" in Cardinals = HOL +
    1.17    description {*