updated to 146757999c8d;

--- a/src/HOL/ex/Cartouche_Examples.thy	Mon Jan 08 23:45:43 2018 +0100
+++ b/src/HOL/ex/Cartouche_Examples.thy	Tue Jan 09 00:16:23 2018 +0100
@@ -141,7 +141,7 @@
   Outer_Syntax.command
     @{command_keyword text_cartouche} ""
     (Parse.opt_target -- Parse.input Parse.cartouche
-      >> Thy_Output.document_command {markdown = true})
+      >> Pure_Syn.document_command {markdown = true})
 \<close>
 
 text_cartouche