| Thu, 31 May 2007 18:16:54 +0200 | wenzelm | HOL_proofs; | file | diff | annotate |
| Sun, 06 May 2007 21:49:26 +0200 | haftmann | minimal import | file | diff | annotate |
| Wed, 08 Nov 2006 21:45:15 +0100 | wenzelm | incorporated former theories Reconstruction and ResAtpMethods into ATP_Linkup; | file | diff | annotate |
| Fri, 25 Aug 2006 18:44:59 +0200 | paulson | replaced skolem declarations by automatic skolemization of everything | file | diff | annotate |
| Tue, 08 Aug 2006 18:40:56 +0200 | paulson | skolem declarations for built-in theorems | file | diff | annotate |
| Wed, 10 May 2006 16:23:21 +0200 | wenzelm | revert accidental text change; | file | diff | annotate |
| Tue, 09 May 2006 14:18:40 +0200 | haftmann | introduced characters for code generator; some improved code lemmas for some list functions | file | diff | annotate |