src/HOL/ROOT
changeset 58630 71cdb885b3bb
parent 58626 6c473ed0ac70
child 58644 8171ef293634
     1.1 --- a/src/HOL/ROOT	Wed Oct 08 10:15:04 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Oct 08 11:09:17 2014 +0200
     1.3 @@ -600,11 +600,8 @@
     1.4      ML
     1.5      SAT_Examples
     1.6      Nominal2_Dummy
     1.7 +    SOS
     1.8      SOS_Cert
     1.9 -  theories [condition = ISABELLE_CSDP]
    1.10 -    SOS
    1.11 -  theories [condition = ISABELLE_FULL_TEST]
    1.12 -    SOS_Remote
    1.13    theories [skip_proofs = false]
    1.14      Meson_Test
    1.15    theories [condition = SVC_HOME]