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 |