src/HOL/ex/Sudoku.thy
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