more robust;
authorwenzelm
Thu Dec 07 20:55:03 2017 +0100 (7 months ago)
changeset 67159deccbba7cfe3
parent 67158 a14b83897c90
child 67160 f37bf261bdf6
more robust;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Thu Dec 07 20:05:08 2017 +0100
     1.2 +++ b/src/HOL/ROOT	Thu Dec 07 20:55:03 2017 +0100
     1.3 @@ -576,7 +576,6 @@
     1.4      Reflection_Examples
     1.5      Refute_Examples
     1.6      Rewrite_Examples
     1.7 -    SAT_Examples
     1.8      SOS
     1.9      SOS_Cert
    1.10      Seq
    1.11 @@ -601,6 +600,7 @@
    1.12      Word_Type
    1.13      veriT_Preprocessing
    1.14    theories [skip_proofs = false]
    1.15 +    SAT_Examples
    1.16      Meson_Test
    1.17  
    1.18  session "HOL-Isar_Examples" in Isar_Examples = "HOL-Computational_Algebra" +