equal
deleted
inserted
replaced
714 options [document = false] |
714 options [document = false] |
715 theories Nominal |
715 theories Nominal |
716 |
716 |
717 session "HOL-Nominal-Examples" in "Nominal/Examples" = "HOL-Nominal" + |
717 session "HOL-Nominal-Examples" in "Nominal/Examples" = "HOL-Nominal" + |
718 options [timeout = 3600, condition = ISABELLE_POLYML, document = false] |
718 options [timeout = 3600, condition = ISABELLE_POLYML, document = false] |
719 theories Nominal_Examples |
719 theories |
720 theories [quick_and_dirty] VC_Condition |
720 Nominal_Examples_Base |
|
721 theories [condition = ISABELLE_FULL_TEST] |
|
722 Nominal_Examples |
|
723 theories [quick_and_dirty] |
|
724 VC_Condition |
721 |
725 |
722 session "HOL-Cardinals" in Cardinals = HOL + |
726 session "HOL-Cardinals" in Cardinals = HOL + |
723 description {* |
727 description {* |
724 Ordinals and Cardinals, Full Theories. |
728 Ordinals and Cardinals, Full Theories. |
725 *} |
729 *} |