| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| Wed, 03 Dec 2008 14:02:24 +0000 | webertj | more examples | file | diff | annotate |
| 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 |