src/Pure/ROOT.ML
changeset 58660 8d4aebb9e327
parent 58470 890d8286fd4e
child 58664 4e4a4c758f9c
--- a/src/Pure/ROOT.ML	Mon Oct 13 18:45:48 2014 +0200
+++ b/src/Pure/ROOT.ML	Mon Oct 13 19:34:10 2014 +0200
@@ -278,6 +278,7 @@
 use "Isar/bundle.ML";
 
 use "simplifier.ML";
+use "Tools/plugin.ML";
 
 (*executable theory content*)
 use "Isar/code.ML";