thenl_ : tactic -> tactic list -> tactic

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