src/Pure/ROOT.ML
changeset 55387 51f0876f61df
parent 55141 863b4f9f6bd7
child 55516 d0157612ebe5
     1.1 --- a/src/Pure/ROOT.ML	Mon Feb 10 22:22:06 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Feb 10 22:39:04 2014 +0100
     1.3 @@ -306,6 +306,8 @@
     1.4  use "Tools/named_thms.ML";
     1.5  use "Tools/proof_general.ML";
     1.6  
     1.7 +structure Output: OUTPUT = Output;  (*seal system channels!*)
     1.8 +
     1.9  
    1.10  (* ML toplevel pretty printing *)
    1.11