
diff -r 3e1cad27fc2f -r c917dc025184 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Sun Oct 12 21:52:45 2014 +0200
+++ b/src/Pure/Pure.thy	Mon Oct 13 15:45:23 2014 +0200
@@ -120,6 +120,7 @@
 ML_file "Tools/proof_general_pure.ML"
 ML_file "Tools/simplifier_trace.ML"
 ML_file "Tools/named_theorems.ML"
+ML_file "Tools/plugin.ML"
 
 
 section \<open>Basic attributes\<close>




