src/HOL/ROOT
changeset 60332 7676bcaa1f95
parent 60237 d47387d4a3c6
child 60450 b54b913dfa6a
     1.1 --- a/src/HOL/ROOT	Mon Jun 01 15:06:09 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Mon Jun 01 15:39:53 2015 +0200
     1.3 @@ -588,7 +588,6 @@
     1.4      Set_Comprehension_Pointfree_Examples
     1.5      Parallel_Example
     1.6      IArray_Examples
     1.7 -    SVC_Oracle
     1.8      Simps_Case_Conv_Examples
     1.9      ML
    1.10      Rewrite_Examples
    1.11 @@ -597,8 +596,6 @@
    1.12      SOS_Cert
    1.13    theories [skip_proofs = false]
    1.14      Meson_Test
    1.15 -  theories [condition = SVC_HOME]
    1.16 -    svc_test
    1.17    theories [condition = ISABELLE_FULL_TEST]
    1.18      Sudoku
    1.19    document_files "root.bib" "root.tex"