| Wed, 24 Jun 2009 09:41:14 +0200 | nipkow | corrected and unified thm names | file | diff | annotate |
| 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 |