src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Sep 22 16:15:29 2014 +0200
+++ b/src/HOL/ROOT	Mon Sep 22 16:28:24 2014 +0200
@@ -600,13 +600,16 @@
     SAT_Examples
     Nominal2_Dummy
     SOS_Cert
+  theories [condition = ISABELLE_CSDP]
+    SOS
+  theories [condition = ISABELLE_FULL_TEST]
+    SOS_Remote
   theories [skip_proofs = false]
     Meson_Test
   theories [condition = SVC_HOME]
     svc_test
   theories [condition = ISABELLE_FULL_TEST]
     Sudoku
-    SOS_Remote
   document_files "root.bib" "root.tex"
 
 session "HOL-Isar_Examples" in Isar_Examples = HOL +