Thu, 01 May 2014 22:56:59 +0200 | boehmes | added internal proof-producing SAT solver | file | diff | annotate |
Mon, 09 Dec 2013 12:22:23 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |
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 |