Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
Wed, 15 Dec 2010 11:26:28 +0100 | blanchet | example tuning | file | diff | annotate |
Wed, 01 Sep 2010 00:07:31 +0200 | blanchet | rename sledgehammer config attributes | file | diff | annotate |
Fri, 30 Apr 2010 14:00:09 +0200 | blanchet | minor improvements | file | diff | annotate |
Thu, 29 Apr 2010 19:02:04 +0200 | blanchet | redid some Sledgehammer/Metis proofs | file | diff | annotate |
Tue, 20 Oct 2009 19:52:04 +0200 | wenzelm | modernized session Metis_Examples; | file | diff | annotate | base |