src/Pure/Pure.thy

--- a/src/Pure/Pure.thy	Thu Dec 12 21:14:33 2013 +0100
+++ b/src/Pure/Pure.thy	Thu Dec 12 21:28:13 2013 +0100
@@ -107,6 +107,7 @@
 ML_file "Tools/find_theorems.ML"
 ML_file "Tools/find_consts.ML"
 ML_file "Tools/proof_general_pure.ML"
+ML_file "Tools/simplifier_trace.ML"
 
 
 section {* Further content for the Pure theory *}