src/HOL/ROOT

--- a/src/HOL/ROOT	Mon May 12 12:38:17 2014 +0200
+++ b/src/HOL/ROOT	Mon May 12 00:13:38 2014 +0200
@@ -581,13 +581,11 @@
     Simps_Case_Conv_Examples
     ML
     SAT_Examples
+    Sudoku
   theories [skip_proofs = false]
     Meson_Test
   theories [condition = SVC_HOME]
     svc_test
-  theories [condition = ZCHAFF_HOME]
-    (*requires zChaff (or some other reasonably fast SAT solver)*)
-    Sudoku
   document_files "root.bib" "root.tex"
 
 session "HOL-Isar_Examples" in Isar_Examples = HOL +