equal
deleted
inserted
replaced
332 |
332 |
333 (* miscellaneous tools and packages for Pure Isabelle *) |
333 (* miscellaneous tools and packages for Pure Isabelle *) |
334 |
334 |
335 use "Tools/build.ML"; |
335 use "Tools/build.ML"; |
336 use "Tools/named_thms.ML"; |
336 use "Tools/named_thms.ML"; |
337 use "Tools/proof_general.ML"; |
|
338 |
337 |
339 structure Output: OUTPUT = Output; (*seal system channels!*) |
338 structure Output: OUTPUT = Output; (*seal system channels!*) |
340 |
339 |
341 |
340 |
342 (* ML toplevel pretty printing *) |
341 (* ML toplevel pretty printing *) |