# HG changeset patch
# User wenzelm
# Date 1390483576 -3600
# Node ID a389b50e6a42f87e41f7c75063077f76d08ce5e6
# Parent  3eb7bcca5b90afa985908c7a546a127d2b2eaca3
no document for Cartouche_Examples: avoid problems typesetting "\001";

diff -r 3eb7bcca5b90 -r a389b50e6a42 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]