changeset 58331 | 054e9a9fccad |
parent 58329 | a31404ec7414 |
child 58351 | b3f7c69e9fcd |
--- a/src/HOL/ROOT Fri Sep 12 17:30:05 2014 +0200 +++ b/src/HOL/ROOT Fri Sep 12 17:51:31 2014 +0200 @@ -597,12 +597,13 @@ Simps_Case_Conv_Examples ML SAT_Examples - Sudoku Nominal2_Dummy theories [skip_proofs = false] Meson_Test theories [condition = SVC_HOME] svc_test + theories [condition = ISABELLE_FULL_TEST] + Sudoku document_files "root.bib" "root.tex" session "HOL-Isar_Examples" in Isar_Examples = HOL +