src/Pure/Pure.thy

--- a/src/Pure/Pure.thy	Wed May 15 17:39:41 2013 +0200
+++ b/src/Pure/Pure.thy	Wed May 15 20:22:46 2013 +0200
@@ -98,6 +98,7 @@
 ML_file "Isar/isar_syn.ML"
 ML_file "Tools/find_theorems.ML"
 ML_file "Tools/find_consts.ML"
+ML_file "ProofGeneral/proof_general_pure.ML"
 
 
 section {* Further content for the Pure theory *}