src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Fri Jun 04 22:12:33 1999 +0200
+++ b/src/Pure/Isar/ROOT.ML	Sat Jun 05 20:27:53 1999 +0200
@@ -6,6 +6,7 @@
 *)
 
 (*proof engine*)
+use "auto_bind.ML";
 use "proof_context.ML";
 use "proof.ML";
 use "proof_data.ML";
@@ -37,6 +38,7 @@
 
 structure PureIsar =
 struct
+  structure AutoBind = AutoBind;
   structure ProofContext = ProofContext;
   structure Proof = Proof;
   structure ProofHistory = ProofHistory;