(* Title: Pure/Proof/ROOT.ML ID: $Id$ Author: Stefan Berghofer, TU Muenchen Proof term operations. *) use "reconstruct.ML"; use "proof_syntax.ML"; use "proof_rewrite_rules.ML"; use "proofchecker.ML";