src/Pure/Proof/ROOT.ML

-(*  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";