| Sun, 10 Jan 2016 20:21:30 +0100 | Lukas Bulwahn | filter non-matching prems rather than fail in proof procedure in rare cases; include derived example motivating change and some similar other ones | file | diff | annotate |
| Wed, 24 Jun 2015 21:26:03 +0200 | wenzelm | clarified 'case' command; | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |