thenl_ : tactic -> tactic list -> tactic

SYNOPSIS
Non-infix version of THENL.

SEE ALSO
THENL.