equal
deleted
inserted
replaced
105 ML_file "Tools/thy_deps.ML" |
105 ML_file "Tools/thy_deps.ML" |
106 ML_file "Tools/class_deps.ML" |
106 ML_file "Tools/class_deps.ML" |
107 ML_file "Tools/find_theorems.ML" |
107 ML_file "Tools/find_theorems.ML" |
108 ML_file "Tools/find_consts.ML" |
108 ML_file "Tools/find_consts.ML" |
109 ML_file "Tools/simplifier_trace.ML" |
109 ML_file "Tools/simplifier_trace.ML" |
110 ML_file "Tools/debugger.ML" |
110 ML_file_no_debug "Tools/debugger.ML" |
111 ML_file "Tools/named_theorems.ML" |
111 ML_file "Tools/named_theorems.ML" |
112 ML_file "Tools/jedit.ML" |
112 ML_file "Tools/jedit.ML" |
113 |
113 |
114 |
114 |
115 section \<open>Basic attributes\<close> |
115 section \<open>Basic attributes\<close> |