| changeset 58842 | 22b87ab47d3b |
| parent 58664 | 4e4a4c758f9c |
| child 58846 | 98c03412079b |
| 58840:f4bb3068d819 | 58842:22b87ab47d3b |
|---|---|
209 "Thy/thy_output.ML" |
209 "Thy/thy_output.ML" |
210 "Thy/thy_syntax.ML" |
210 "Thy/thy_syntax.ML" |
211 "Tools/build.ML" |
211 "Tools/build.ML" |
212 "Tools/named_thms.ML" |
212 "Tools/named_thms.ML" |
213 "Tools/plugin.ML" |
213 "Tools/plugin.ML" |
214 "Tools/proof_general.ML" |
|
215 "assumption.ML" |
214 "assumption.ML" |
216 "axclass.ML" |
215 "axclass.ML" |
217 "config.ML" |
216 "config.ML" |
218 "conjunction.ML" |
217 "conjunction.ML" |
219 "consts.ML" |
218 "consts.ML" |