| Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Sat, 26 Dec 2015 15:59:27 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
| Thu, 04 Sep 2014 11:53:39 +0200 | blanchet | tuned Nitpick and Refute examples, which are too slow on some testing machines | file | diff | annotate |
| Mon, 12 May 2014 00:13:38 +0200 | webertj | Replaced refute with nitpick. | file | diff | annotate |
| 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 |