src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Thu Apr 14 19:30:57 2005 +0200
+++ b/src/Pure/Isar/ROOT.ML	Fri Apr 15 12:00:00 2005 +0200
@@ -11,7 +11,6 @@
 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 "args.ML";
 use "attrib.ML";