no document for Cartouche_Examples: avoid problems typesetting "\001";
authorwenzelm
Thu Jan 23 14:26:16 2014 +0100 (2014-01-23)
changeset 55123a389b50e6a42
parent 55122 3eb7bcca5b90
child 55124 ffabc0a5853e
child 55125 0e0c09fca7bc
no document for Cartouche_Examples: avoid problems typesetting "\001";
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Jan 22 23:51:26 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Thu Jan 23 14:26:16 2014 +0100
     1.3 @@ -502,6 +502,7 @@
     1.4      Serbian
     1.5      "~~/src/HOL/Library/FinFun_Syntax"
     1.6      "~~/src/HOL/Library/Refute"
     1.7 +    Cartouche_Examples
     1.8    theories
     1.9      Iff_Oracle
    1.10      Coercion_Examples
    1.11 @@ -562,7 +563,6 @@
    1.12      SVC_Oracle
    1.13      Simps_Case_Conv_Examples
    1.14      ML
    1.15 -    Cartouche_Examples
    1.16    theories [skip_proofs = false]
    1.17      Meson_Test
    1.18    theories [condition = SVC_HOME]