src/HOL/ROOT
changeset 58418 a04b242a7a01
parent 58415 8392d221bd91
child 58419 593917a7ad02
--- a/src/HOL/ROOT	Mon Sep 22 10:55:51 2014 +0200
+++ b/src/HOL/ROOT	Mon Sep 22 16:15:29 2014 +0200
@@ -54,8 +54,6 @@
     Old_Datatype
     Old_Recdef
     Old_SMT
-  theories [condition = ISABELLE_FULL_TEST]
-    Sum_of_Squares_Remote
   document_files "root.bib" "root.tex"
 
 session "HOL-Hahn_Banach" in Hahn_Banach = HOL +
@@ -601,12 +599,14 @@
     ML
     SAT_Examples
     Nominal2_Dummy
+    SOS_Cert
   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 +