--- a/src/HOL/ROOT Fri Jan 17 20:51:36 2014 +0100
+++ b/src/HOL/ROOT Sat Jan 18 19:15:12 2014 +0100
@@ -562,6 +562,7 @@
SVC_Oracle
Simps_Case_Conv_Examples
ML
+ Cartouche_Examples
theories [skip_proofs = false]
Meson_Test
theories [condition = SVC_HOME]