src/Pure/Pure.thy
changeset 56864 0446c7ac2e32
parent 56797 32963b43a538
child 57415 e721124f1b1e
equal deleted inserted replaced
56863:5fdb61a9a010 56864:0446c7ac2e32
   106     "ProofGeneral.inform_file_retracted" :: control
   106     "ProofGeneral.inform_file_retracted" :: control
   107 begin
   107 begin
   108 
   108 
   109 ML_file "ML/ml_antiquotations.ML"
   109 ML_file "ML/ml_antiquotations.ML"
   110 ML_file "ML/ml_thms.ML"
   110 ML_file "ML/ml_thms.ML"
       
   111 ML_file "Tools/print_operation.ML"
   111 ML_file "Isar/isar_syn.ML"
   112 ML_file "Isar/isar_syn.ML"
   112 ML_file "Isar/calculation.ML"
   113 ML_file "Isar/calculation.ML"
   113 ML_file "Tools/rail.ML"
   114 ML_file "Tools/rail.ML"
   114 ML_file "Tools/rule_insts.ML";
   115 ML_file "Tools/rule_insts.ML";
   115 ML_file "Tools/find_theorems.ML"
   116 ML_file "Tools/find_theorems.ML"