src/Pure/Isar/ROOT.ML

 
 Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
 *)
 
 (*proof engine*)
+use "auto_bind.ML";
 use "proof_context.ML";
 use "proof.ML";
 use "proof_data.ML";
 use "proof_history.ML";
 use "args.ML";

 (*main ML interface*)
 use "isar.ML";
 
 structure PureIsar =
 struct
+  structure AutoBind = AutoBind;
   structure ProofContext = ProofContext;
   structure Proof = Proof;
   structure ProofHistory = ProofHistory;
   structure Args = Args;
   structure Attrib = Attrib;