equal
deleted
inserted
replaced
96 ML_file "Isar/calculation.ML" |
96 ML_file "Isar/calculation.ML" |
97 ML_file "Tools/bibtex.ML" |
97 ML_file "Tools/bibtex.ML" |
98 ML_file "Tools/rail.ML" |
98 ML_file "Tools/rail.ML" |
99 ML_file "Tools/rule_insts.ML" |
99 ML_file "Tools/rule_insts.ML" |
100 ML_file "Tools/thm_deps.ML" |
100 ML_file "Tools/thm_deps.ML" |
|
101 ML_file "Tools/thy_deps.ML" |
101 ML_file "Tools/class_deps.ML" |
102 ML_file "Tools/class_deps.ML" |
102 ML_file "Tools/find_theorems.ML" |
103 ML_file "Tools/find_theorems.ML" |
103 ML_file "Tools/find_consts.ML" |
104 ML_file "Tools/find_consts.ML" |
104 ML_file "Tools/simplifier_trace.ML" |
105 ML_file "Tools/simplifier_trace.ML" |
105 ML_file "Tools/named_theorems.ML" |
106 ML_file "Tools/named_theorems.ML" |