src/HOL/Reconstruction.thy
Fri, 01 Apr 2005 11:12:39 +0200 paulson patch to get it working again
Tue, 07 Dec 2004 16:16:10 +0100 paulson all theories must be related to Reconstruction
Thu, 02 Dec 2004 11:09:19 +0100 paulson new CLAUSIFY attribute for proof reconstruction with lemmas
Fri, 20 Aug 2004 12:21:03 +0200 paulson proof reconstruction for external ATPs
less more (0) tip