src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Fri Jan 21 13:55:07 2005 +0100
+++ b/src/Pure/Isar/ROOT.ML	Fri Jan 21 18:00:18 2005 +0100
@@ -11,6 +11,7 @@
 use "rule_cases.ML";
 use "proof_context.ML";
 use "proof_data.ML";
+use "delta_data.ML"; (*for delta_{claset,simpset}, part of SPASS interface*)
 use "context_rules.ML";
 use "locale.ML";
 use "proof.ML";