src/HOL/Reconstruction.thy
2004-12-07 paulson 2004-12-07 all theories must be related to Reconstruction
2004-12-02 paulson 2004-12-02 new CLAUSIFY attribute for proof reconstruction with lemmas
2004-08-20 paulson 2004-08-20 proof reconstruction for external ATPs