src/Pure/PIDE/markup.ML

   val task_statistics: Properties.entry
   val command_timing: Properties.entry
   val loading_theory: string -> Properties.T
   val dest_loading_theory: Properties.T -> string option
   val use_theories_result: string -> bool -> Properties.T
+  val print_operationsN: string
+  val print_operations: Properties.T
   val simp_trace_logN: string
   val simp_trace_stepN: string
   val simp_trace_recurseN: string
   val simp_trace_hintN: string
   val simp_trace_ignoreN: string

   | dest_loading_theory _ = NONE;
 
 fun use_theories_result id ok =
   [("function", "use_theories_result"), ("id", id), ("ok", print_bool ok)];
 
+val print_operationsN = "print_operations";
+val print_operations = [(functionN, print_operationsN)];
+
 
 (* simplifier trace *)
 
 val simp_trace_logN = "simp_trace_log";
 val simp_trace_stepN = "simp_trace_step";