| Thu, 18 Oct 2012 13:19:44 +0200 | blanchet | refactor code | file | diff | annotate |
| Tue, 16 Oct 2012 18:50:53 +0200 | blanchet | added proof minimization code from Steffen Smolka | file | diff | annotate |
| Tue, 09 Oct 2012 00:40:33 +0200 | blanchet | added type annotations to generated Isar proofs -- code by Steffen Smolka | file | diff | annotate |
| Tue, 14 Aug 2012 14:07:53 +0200 | blanchet | warn users about unused "using" facts | file | diff | annotate |
| Fri, 27 Jul 2012 08:52:40 +0200 | blanchet | extract Z3 unsat cores (for "z3_tptp") | file | diff | annotate |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | distinguish between recursive and nonrecursive definitions + clean up typedef dependencies in MaSh | file | diff | annotate |
| Tue, 26 Jun 2012 11:14:40 +0200 | blanchet | added sorts to datastructure | file | diff | annotate |