src/HOL/ROOT

--- a/src/HOL/ROOT	Wed Jan 22 23:51:26 2014 +0100
+++ b/src/HOL/ROOT	Thu Jan 23 14:26:16 2014 +0100
@@ -502,6 +502,7 @@
     Serbian
     "~~/src/HOL/Library/FinFun_Syntax"
     "~~/src/HOL/Library/Refute"
+    Cartouche_Examples
   theories
     Iff_Oracle
     Coercion_Examples
@@ -562,7 +563,6 @@
     SVC_Oracle
     Simps_Case_Conv_Examples
     ML
-    Cartouche_Examples
   theories [skip_proofs = false]
     Meson_Test
   theories [condition = SVC_HOME]