Tue, 10 Dec 2013 15:24:17 +0800 | blanchet | more work on Z3 Isar proofs | file | diff | annotate |
Mon, 09 Dec 2013 06:33:46 +0100 | blanchet | adapted code for Z3 proof reconstruction | file | diff | annotate |
Tue, 19 Nov 2013 18:38:25 +0100 | blanchet | tuning | file | diff | annotate |
Fri, 12 Jul 2013 21:07:34 +0200 | smolkas | added blast, force | file | diff | annotate |
Fri, 12 Jul 2013 19:03:08 +0200 | smolkas | cleaner preplay interface | file | diff | annotate |
Fri, 12 Jul 2013 14:18:06 +0200 | smolkas | tuned | file | diff | annotate |
Fri, 12 Jul 2013 14:18:06 +0200 | smolkas | minimize dependencies (used facts) of Isar proof steps; remove unreferenced steps | file | diff | annotate |
Thu, 11 Jul 2013 20:08:06 +0200 | smolkas | optimize isar-proofs by trying different proof methods | file | diff | annotate |