Tue, 03 Feb 2009 16:39:52 +0100 | haftmann | dropped global Nil/Append interpretation | file | diff | annotate |
Fri, 16 Jan 2009 14:58:56 +0100 | haftmann | migrated class package to new locale implementation | 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 |
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 |