src/HOL/ex/Sudoku.thy
2014-09-11 blanchet 2014-09-11 updated news
2014-09-04 blanchet 2014-09-04 tuned Nitpick and Refute examples, which are too slow on some testing machines
2014-05-12 webertj 2014-05-12 Replaced refute with nitpick.
2014-05-01 boehmes 2014-05-01 added internal proof-producing SAT solver
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2011-01-16 wenzelm 2011-01-16 tuned headers;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2008-12-03 webertj 2008-12-03 more examples
2007-06-03 wenzelm 2007-06-03 tuned document;
2007-01-10 webertj 2007-01-10 no unfolding necessary anymore (refute does that automatically now)
2005-12-14 webertj 2005-12-14 ex/Sudoku.thy