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 |