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