equal
deleted
inserted
replaced
301 (*theory documents*) |
301 (*theory documents*) |
302 use "System/isabelle_system.ML"; |
302 use "System/isabelle_system.ML"; |
303 use "Thy/term_style.ML"; |
303 use "Thy/term_style.ML"; |
304 use "Isar/outer_syntax.ML"; |
304 use "Isar/outer_syntax.ML"; |
305 use "Thy/thy_output.ML"; |
305 use "Thy/thy_output.ML"; |
|
306 use "Thy/document_antiquotations.ML"; |
306 use "General/graph_display.ML"; |
307 use "General/graph_display.ML"; |
307 use "Thy/present.ML"; |
308 use "Thy/present.ML"; |
308 use "pure_syn.ML"; |
309 use "pure_syn.ML"; |
309 use "PIDE/command.ML"; |
310 use "PIDE/command.ML"; |
310 use "PIDE/query_operation.ML"; |
311 use "PIDE/query_operation.ML"; |