--- a/src/HOL/ex/Sudoku.thy Sun Jun 03 23:16:46 2007 +0200 +++ b/src/HOL/ex/Sudoku.thy Sun Jun 03 23:16:47 2007 +0200 @@ -7,9 +7,7 @@ header {* A SAT-based Sudoku Solver *} theory Sudoku - imports Main - begin text {*