# HG changeset patch
# User wenzelm
# Date 1512676503 -3600
# Node ID deccbba7cfe31677b06a51707e2c16091a70c19b
# Parent  a14b83897c903824a9330142efcd9339e4aa1210
more robust;

diff -r a14b83897c90 -r deccbba7cfe3 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" +