(* 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"
begin
setup Reconstruction.setup
end