(* Title: HOL/Reconstruction.thy ID: $Id$ Author: Lawrence C Paulson Copyright 2004 University of Cambridge*)header{*Attributes for Reconstructing External Resolution Proofs*}theory Reconstruction imports Hilbert_Choice files "Tools/reconstruction.ML"beginsetup Reconstruction.setupend