diff -r bdb82afdcb92 -r 3b18ef9df768 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Wed May 15 20:28:43 2013 +0200
+++ b/src/Pure/Pure.thy	Wed May 15 20:34:42 2013 +0200
@@ -98,7 +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"
+ML_file "Tools/proof_general_pure.ML"
 
 
 section {* Further content for the Pure theory *}