| changeset 58860 | fee7cfa69c50 |
| parent 58846 | 98c03412079b |
| child 58868 | c5e1cce7ace3 |
--- a/src/Pure/Pure.thy Sat Nov 01 11:40:55 2014 +0100 +++ b/src/Pure/Pure.thy Sat Nov 01 14:20:38 2014 +0100 @@ -105,8 +105,8 @@ ML_file "Isar/calculation.ML" ML_file "Tools/bibtex.ML" ML_file "Tools/rail.ML" -ML_file "Tools/rule_insts.ML"; -ML_file "Tools/thm_deps.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"