changeset 57934 | 5e500c0e7eca |
parent 57886 | 7cae177c9084 |
child 58201 | 5bf56c758e02 |
--- a/src/Pure/Pure.thy Wed Aug 13 22:29:43 2014 +0200 +++ b/src/Pure/Pure.thy Thu Aug 14 10:48:40 2014 +0200 @@ -112,6 +112,7 @@ ML_file "Isar/calculation.ML" ML_file "Tools/rail.ML" ML_file "Tools/rule_insts.ML"; +ML_file "Tools/thm_deps.ML"; ML_file "Tools/find_theorems.ML" ML_file "Tools/find_consts.ML" ML_file "Tools/proof_general_pure.ML"