src/Pure/Pure.thy
changeset 58860 fee7cfa69c50
parent 58846 98c03412079b
child 58868 c5e1cce7ace3
     1.1 --- a/src/Pure/Pure.thy	Sat Nov 01 11:40:55 2014 +0100
     1.2 +++ b/src/Pure/Pure.thy	Sat Nov 01 14:20:38 2014 +0100
     1.3 @@ -105,8 +105,8 @@
     1.4  ML_file "Isar/calculation.ML"
     1.5  ML_file "Tools/bibtex.ML"
     1.6  ML_file "Tools/rail.ML"
     1.7 -ML_file "Tools/rule_insts.ML";
     1.8 -ML_file "Tools/thm_deps.ML";
     1.9 +ML_file "Tools/rule_insts.ML"
    1.10 +ML_file "Tools/thm_deps.ML"
    1.11  ML_file "Tools/class_deps.ML"
    1.12  ML_file "Tools/find_theorems.ML"
    1.13  ML_file "Tools/find_consts.ML"