src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Dec 07 20:05:08 2017 +0100
+++ b/src/HOL/ROOT	Thu Dec 07 20:55:03 2017 +0100
@@ -576,7 +576,6 @@
     Reflection_Examples
     Refute_Examples
     Rewrite_Examples
-    SAT_Examples
     SOS
     SOS_Cert
     Seq
@@ -601,6 +600,7 @@
     Word_Type
     veriT_Preprocessing
   theories [skip_proofs = false]
+    SAT_Examples
     Meson_Test
 
 session "HOL-Isar_Examples" in Isar_Examples = "HOL-Computational_Algebra" +