Sat, 03 Oct 2009 12:05:40 +0200 | boehmes | re-organized signature of AtpWrapper structure: records instead of unnamed parameters and return values, | file | diff | annotate |
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 |