diff -r f215fd466e30 -r 7676bcaa1f95 src/HOL/ROOT
--- a/src/HOL/ROOT	Mon Jun 01 15:06:09 2015 +0200
+++ b/src/HOL/ROOT	Mon Jun 01 15:39:53 2015 +0200
@@ -588,7 +588,6 @@
     Set_Comprehension_Pointfree_Examples
     Parallel_Example
     IArray_Examples
-    SVC_Oracle
     Simps_Case_Conv_Examples
     ML
     Rewrite_Examples
@@ -597,8 +596,6 @@
     SOS_Cert
   theories [skip_proofs = false]
     Meson_Test
-  theories [condition = SVC_HOME]
-    svc_test
   theories [condition = ISABELLE_FULL_TEST]
     Sudoku
   document_files "root.bib" "root.tex"