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 |
Tue, 10 Jun 2008 15:30:33 +0200 | haftmann | rep_datatype command now takes list of constructors as input arguments | file | diff | annotate |
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 |