src/HOL/ROOT
changeset 56940 35ce6dab3f5e
parent 56922 d411a81b8356
child 56994 8d5e5ec1cac3
     1.1 --- a/src/HOL/ROOT	Mon May 12 12:38:17 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Mon May 12 00:13:38 2014 +0200
     1.3 @@ -581,13 +581,11 @@
     1.4      Simps_Case_Conv_Examples
     1.5      ML
     1.6      SAT_Examples
     1.7 +    Sudoku
     1.8    theories [skip_proofs = false]
     1.9      Meson_Test
    1.10    theories [condition = SVC_HOME]
    1.11      svc_test
    1.12 -  theories [condition = ZCHAFF_HOME]
    1.13 -    (*requires zChaff (or some other reasonably fast SAT solver)*)
    1.14 -    Sudoku
    1.15    document_files "root.bib" "root.tex"
    1.16  
    1.17  session "HOL-Isar_Examples" in Isar_Examples = HOL +