equal
deleted
inserted
replaced
101 "ProofGeneral.restart" "ProofGeneral.kill_proof" "ProofGeneral.inform_file_processed" |
101 "ProofGeneral.restart" "ProofGeneral.kill_proof" "ProofGeneral.inform_file_processed" |
102 "ProofGeneral.inform_file_retracted" :: control |
102 "ProofGeneral.inform_file_retracted" :: control |
103 begin |
103 begin |
104 |
104 |
105 ML_file "Isar/isar_syn.ML" |
105 ML_file "Isar/isar_syn.ML" |
|
106 ML_file "Tools/rail.ML" |
106 ML_file "Tools/rule_insts.ML"; |
107 ML_file "Tools/rule_insts.ML"; |
107 ML_file "Tools/find_theorems.ML" |
108 ML_file "Tools/find_theorems.ML" |
108 ML_file "Tools/find_consts.ML" |
109 ML_file "Tools/find_consts.ML" |
109 ML_file "Tools/proof_general_pure.ML" |
110 ML_file "Tools/proof_general_pure.ML" |
110 ML_file "Tools/simplifier_trace.ML" |
111 ML_file "Tools/simplifier_trace.ML" |