| Thu, 24 Mar 2011 17:49:27 +0100 | blanchet | Metis examples use the new Skolemizer to test it | file | diff | annotate |
| Wed, 15 Dec 2010 11:26:28 +0100 | blanchet | example tuning | file | diff | annotate |
| Fri, 04 Jun 2010 15:08:50 +0200 | blanchet | redid the Isar proofs using the latest Sledgehammer, eliminating the last occurrences of "neg_clausify" in proofs | file | diff | annotate |
| Fri, 14 May 2010 22:30:24 +0200 | blanchet | renamed Sledgehammer options | file | diff | annotate |
| Fri, 30 Apr 2010 14:52:06 +0200 | blanchet | remove debugging code | file | diff | annotate |
| Thu, 29 Apr 2010 19:02:04 +0200 | blanchet | redid some Sledgehammer/Metis proofs | file | diff | annotate |
| Mon, 26 Apr 2010 23:45:51 +0200 | blanchet | renamed option | file | diff | annotate |
| Thu, 01 Apr 2010 10:54:21 +0200 | blanchet | adapt syntax of Sledgehammer options in examples | file | diff | annotate |
| Tue, 20 Oct 2009 19:52:04 +0200 | wenzelm | modernized session Metis_Examples; | file | diff | annotate | base |