Tue, 23 Mar 2010 14:43:22 +0100 | added a syntax for specifying facts to Sledgehammer; | file | diff | annotate |
Tue, 23 Mar 2010 11:39:21 +0100 | added options to Sledgehammer; | file | diff | annotate |
Mon, 22 Mar 2010 15:23:18 +0100 | make "sledgehammer" and "atp_minimize" improper commands | file | diff | annotate |
Fri, 19 Mar 2010 15:07:44 +0100 | move the Sledgehammer Isar commands together into one file; | file | diff | annotate |