src/HOL/ROOT
changeset 55123 a389b50e6a42
parent 55075 b3d0a02a756d
child 55159 608c157d743d
     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]