src/HOL/ex/Sudoku.thy
2010-03-01 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2008-12-03 webertj more examples
2007-06-03 wenzelm tuned document;
2007-01-10 webertj no unfolding necessary anymore (refute does that automatically now)
2005-12-14 webertj ex/Sudoku.thy
less more (0) tip