| Fri, 18 Nov 2011 11:47:12 +0100 |
more "metis" calls in example
|
file | diff | annotate |
| Fri, 18 Nov 2011 11:47:12 +0100 |
example cleanup
|
file | diff | annotate |
| Fri, 18 Nov 2011 11:47:12 +0100 |
example cleanup
|
file | diff | annotate |
| Tue, 15 Nov 2011 12:39:49 +0100 |
remove old-style semicolons
|
file | diff | annotate |
| Mon, 06 Jun 2011 20:36:35 +0200 |
tuned Metis examples
|
file | diff | annotate |
| Thu, 12 May 2011 15:29:19 +0200 |
remove problematic Isar proof
|
file | diff | annotate |
| Thu, 24 Mar 2011 17:49:27 +0100 |
Metis examples use the new Skolemizer to test it
|
file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 |
explicit file specifications -- avoid secondary load path;
|
file | diff | annotate |
| Wed, 15 Dec 2010 11:26:28 +0100 |
example tuning
|
file | diff | annotate |
| Wed, 01 Sep 2010 00:07:31 +0200 |
rename sledgehammer config attributes
|
file | diff | annotate |
| Fri, 30 Apr 2010 14:00:09 +0200 |
minor improvements
|
file | diff | annotate |
| Thu, 29 Apr 2010 19:02:04 +0200 |
redid some Sledgehammer/Metis proofs
|
file | diff | annotate |
| Tue, 20 Oct 2009 19:52:04 +0200 |
modernized session Metis_Examples;
|
file | diff | annotate | base |