
diff -r d95055489fce -r 5bf56c758e02 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Sun Sep 07 14:39:23 2014 +0200
+++ b/src/Pure/Pure.thy	Sun Sep 07 17:51:28 2014 +0200
@@ -113,6 +113,7 @@
 ML_file "Tools/rail.ML"
 ML_file "Tools/rule_insts.ML";
 ML_file "Tools/thm_deps.ML";
+ML_file "Tools/class_deps.ML"
 ML_file "Tools/find_theorems.ML"
 ML_file "Tools/find_consts.ML"
 ML_file "Tools/proof_general_pure.ML"




