then_tcl_ : thm_tactical -> thm_tactical -> thm_tactical

SYNOPSIS: Non-infix version of THEN_TCL.
SEE ALSO: THEN_TCL.