replaced apply-style proof for instance Multiset :: plus_ac0 by recommended Isar proof style
(* Title: Pure/Proof/ROOT.ML
ID: $Id$
Author: Stefan Berghofer, TU Muenchen
License: GPL (GNU GENERAL PUBLIC LICENSE)
Proof term operations.
*)
use "reconstruct.ML";
use "proof_syntax.ML";
use "proof_rewrite_rules.ML";
use "proofchecker.ML";