| 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 |