src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Wed Nov 09 16:26:41 2005 +0100
+++ b/src/Pure/Isar/ROOT.ML	Wed Nov 09 16:26:43 2005 +0100
@@ -17,6 +17,7 @@
 use "skip_proof.ML";
 use "method.ML";
 use "proof.ML";
+use "element.ML";
 use "net_rules.ML";
 use "induct_attrib.ML";