| Tue, 07 Dec 2004 16:16:10 +0100 | paulson | all theories must be related to Reconstruction | file | diff | annotate |
| Thu, 02 Dec 2004 11:09:19 +0100 | paulson | new CLAUSIFY attribute for proof reconstruction with lemmas | file | diff | annotate |
| Fri, 20 Aug 2004 12:21:03 +0200 | paulson | proof reconstruction for external ATPs | file | diff | annotate |