--- a/src/HOL/ROOT Fri Sep 06 10:56:40 2013 +0200
+++ b/src/HOL/ROOT Fri Sep 06 10:56:40 2013 +0200
@@ -559,6 +559,7 @@
Parallel_Example
IArray_Examples
SVC_Oracle
+ Simps_Case_Conv_Examples
theories [skip_proofs = false]
Meson_Test
theories [condition = SVC_HOME]