| Fri, 14 May 2010 22:30:24 +0200 | blanchet | renamed Sledgehammer options | file | diff | annotate |
| Wed, 28 Apr 2010 19:43:45 +0200 | wenzelm | disabled spurious invocation of (interactive) sledgehammer; | file | diff | annotate |
| Wed, 28 Apr 2010 16:05:38 +0200 | blanchet | add an Isar proof found with Sledgehammer that involves a Skolem constant (internally) | file | diff | annotate |
| Wed, 28 Apr 2010 14:19:26 +0200 | blanchet | redo Sledgehammer proofs (and get rid of "neg_clausify") | file | diff | annotate |
| Wed, 10 Feb 2010 15:14:06 +0100 | haftmann | dropped Id | file | diff | annotate |
| Tue, 20 Oct 2009 19:52:04 +0200 | wenzelm | modernized session Metis_Examples; | file | diff | annotate | base |