| Mon, 17 Mar 2008 22:34:26 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
| Fri, 23 Nov 2007 17:37:56 +0100 | paulson | faster metis calls | file | diff | annotate |
| Thu, 21 Jun 2007 13:23:33 +0200 | paulson | integration of Metis prover | file | diff | annotate |