# HG changeset patch
# User wenzelm
# Date 952534289 -3600
# Node ID 2d77b5a723f12c50d8a04ec42f2326d79ee40d90
# Parent  a70c56d821c7238e41bba12a9ebd3f16d6835512
added rule_cases.ML;

diff -r a70c56d821c7 -r 2d77b5a723f1 src/Pure/Isar/ROOT.ML
--- 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";