src/HOL/ROOT
changeset 67159 deccbba7cfe3
parent 67152 8021ea06aad8
child 67215 03d0c958d65a
     1.1 --- a/src/HOL/ROOT	Wed Dec 06 21:43:20 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" +