| Sun, 03 Jun 2007 23:16:47 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 10 Jan 2007 19:17:52 +0100 | webertj | no unfolding necessary anymore (refute does that automatically now) | file | diff | annotate |
| Wed, 14 Dec 2005 22:05:22 +0100 | webertj | ex/Sudoku.thy | file | diff | annotate |