Fri, 20 Jul 2007 14:27:56 +0200 | haftmann | simplified HOL bootstrap | file | diff | annotate |
Fri, 29 Jun 2007 18:21:25 +0200 | paulson | bug fixes to proof reconstruction | file | diff | annotate |
Wed, 20 Jun 2007 23:19:16 +0200 | wenzelm | added Metis setup (from Metis.thy); | file | diff | annotate |
Thu, 04 Jan 2007 17:55:12 +0100 | paulson | improvements to proof reconstruction. Some files loaded in a different order | file | diff | annotate |
Wed, 03 Jan 2007 10:59:06 +0100 | paulson | first version of structured proof reconstruction | file | diff | annotate |
Wed, 22 Nov 2006 10:20:11 +0100 | haftmann | removed Extraction dependency | file | diff | annotate |
Wed, 08 Nov 2006 21:45:15 +0100 | wenzelm | incorporated former theories Reconstruction and ResAtpMethods into ATP_Linkup; | file | diff | annotate |