then_ : tactic -> tactic -> tactic

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