src/HOL/ROOT
changeset 58418 a04b242a7a01
parent 58415 8392d221bd91
child 58419 593917a7ad02
     1.1 --- a/src/HOL/ROOT	Mon Sep 22 10:55:51 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Sep 22 16:15:29 2014 +0200
     1.3 @@ -54,8 +54,6 @@
     1.4      Old_Datatype
     1.5      Old_Recdef
     1.6      Old_SMT
     1.7 -  theories [condition = ISABELLE_FULL_TEST]
     1.8 -    Sum_of_Squares_Remote
     1.9    document_files "root.bib" "root.tex"
    1.10  
    1.11  session "HOL-Hahn_Banach" in Hahn_Banach = HOL +
    1.12 @@ -601,12 +599,14 @@
    1.13      ML
    1.14      SAT_Examples
    1.15      Nominal2_Dummy
    1.16 +    SOS_Cert
    1.17    theories [skip_proofs = false]
    1.18      Meson_Test
    1.19    theories [condition = SVC_HOME]
    1.20      svc_test
    1.21    theories [condition = ISABELLE_FULL_TEST]
    1.22      Sudoku
    1.23 +    SOS_Remote
    1.24    document_files "root.bib" "root.tex"
    1.25  
    1.26  session "HOL-Isar_Examples" in Isar_Examples = HOL +