# HG changeset patch
# User wenzelm
# Date 1455360601 -3600
# Node ID 747fc3692fca9097350af4041cbecbed940790e4
# Parent  1fd4831e9f93643cfe7506218b6abb853075f764
unconditional test -- nothing special here;

diff -r 1fd4831e9f93 -r 747fc3692fca src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Feb 12 22:36:48 2016 +0100
+++ b/src/HOL/ROOT	Sat Feb 13 11:50:01 2016 +0100
@@ -614,10 +614,9 @@
     Ballot
     Erdoes_Szekeres
     Sum_of_Powers
+    Sudoku
   theories [skip_proofs = false]
     Meson_Test
-  theories [condition = ISABELLE_FULL_TEST]
-    Sudoku
   document_files "root.bib" "root.tex"
 
 session "HOL-Isar_Examples" in Isar_Examples = HOL +
@@ -851,7 +850,6 @@
     Boogie
     SMT_Examples
     SMT_Word_Examples
-  theories [condition = ISABELLE_FULL_TEST]
     SMT_Tests
   files
     "Boogie_Dijkstra.certs"