src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Oct 08 10:15:04 2014 +0200
+++ b/src/HOL/ROOT	Wed Oct 08 11:09:17 2014 +0200
@@ -600,11 +600,8 @@
     ML
     SAT_Examples
     Nominal2_Dummy
+    SOS
     SOS_Cert
-  theories [condition = ISABELLE_CSDP]
-    SOS
-  theories [condition = ISABELLE_FULL_TEST]
-    SOS_Remote
   theories [skip_proofs = false]
     Meson_Test
   theories [condition = SVC_HOME]