1
(* Title: Pure/Proof/ROOT.ML
2
ID: $Id$
3
Author: Stefan Berghofer, TU Muenchen
4
5
Proof term operations.
6
*)
7
8
use "reconstruct.ML";
9
use "proof_syntax.ML";
10
use "proof_rewrite_rules.ML";
11
use "proofchecker.ML";