--- a/src/Pure/Isar/ROOT.ML Wed Mar 08 17:50:28 2000 +0100
+++ b/src/Pure/Isar/ROOT.ML Wed Mar 08 17:51:29 2000 +0100
@@ -7,6 +7,7 @@
(*basic proof engine*)
use "auto_bind.ML";
+use "rule_cases.ML";
use "proof_context.ML";
use "proof.ML";
use "proof_data.ML";