| Tue, 14 Oct 2008 16:01:36 +0200 | wenzelm | renamed AtpThread to AtpWrapper; | file | diff | annotate |
| Fri, 03 Oct 2008 20:10:43 +0200 | wenzelm | updated to new AtpManager; | file | diff | annotate |
| Thu, 21 Jun 2007 13:23:33 +0200 | paulson | integration of Metis prover | file | diff | annotate |