pp_print_colored_thm : formatter -> thm -> unit

SYNOPSIS: Prints a theorem to formatter.
DESCRIPTION: The call pp_print_colored_thm fmt th prints the colored representation of the theorem th to the formatter fmt. To print without colors, use pp_print_thm. For its color configuration, see pp_print_colored_type and pp_print_colored_term.
FAILURE CONDITIONS: Should never fail unless the formatter does.
SEE ALSO: pp_print_colored_term, pp_print_colored_type, pp_print_thm, print_thm, set_color_printer.