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