diff -r b3f6c39aaa2e -r dbeafc269f4f src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Fri Jul 09 18:48:33 1999 +0200
+++ b/src/Pure/Isar/ROOT.ML	Fri Jul 09 18:48:54 1999 +0200
@@ -16,6 +16,7 @@
 use "method.ML";
 
 (*derived proof elements*)
+use "local_defs.ML";
 use "calculation.ML";
 use "skip_proof.ML";