--- a/src/HOL/ROOT Wed Mar 27 18:04:21 2013 +0100 +++ b/src/HOL/ROOT Wed Mar 27 19:32:44 2013 +0100 @@ -560,7 +560,7 @@ Set_Comprehension_Pointfree_Tests Parallel_Example IArray_Examples - theories SVC_Oracle + SVC_Oracle theories [skip_proofs = false] Meson_Test theories [condition = SVC_HOME]