changeset 57934 | 5e500c0e7eca |
parent 57926 | 59b2572e8e93 |
child 58009 | 987c848d509b |
57931:4e2cbff02f23 | 57934:5e500c0e7eca |
---|---|
308 use "PIDE/resources.ML"; |
308 use "PIDE/resources.ML"; |
309 use "Thy/thy_info.ML"; |
309 use "Thy/thy_info.ML"; |
310 use "PIDE/document.ML"; |
310 use "PIDE/document.ML"; |
311 |
311 |
312 (*theory and proof operations*) |
312 (*theory and proof operations*) |
313 use "Thy/thm_deps.ML"; |
|
314 use "Isar/isar_cmd.ML"; |
313 use "Isar/isar_cmd.ML"; |
315 |
314 |
316 use "subgoal.ML"; |
315 use "subgoal.ML"; |
317 |
316 |
318 |
317 |