src/Pure/Isar/ROOT.ML
changeset 6954 dbeafc269f4f
parent 6888 d0c68ebdabc5
child 7021 0073aa571502
--- 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";