| Wed, 19 Mar 2008 18:10:23 +0100 | paulson | Attributes sledgehammer_full, sledgehammer_modulus, sledgehammer_sorts | file | diff | annotate |
| Mon, 17 Mar 2008 22:34:26 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
| Wed, 19 Dec 2007 17:40:48 +0100 | paulson | Replaced refs by config params; finer critical section in mets method | file | diff | annotate |
| Tue, 09 Oct 2007 18:14:00 +0200 | paulson | context-based treatment of generalization; also handling TFrees in axiom clauses | file | diff | annotate |
| Fri, 05 Oct 2007 09:59:21 +0200 | paulson | metis method: used theorems | file | diff | annotate |
| Thu, 27 Sep 2007 17:55:28 +0200 | paulson | removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering | file | diff | annotate |
| Fri, 29 Jun 2007 18:21:25 +0200 | paulson | bug fixes to proof reconstruction | file | diff | annotate |
| Thu, 21 Jun 2007 13:23:33 +0200 | paulson | integration of Metis prover | file | diff | annotate |