orelse_tcl_ : thm_tactical -> thm_tactical -> thm_tactical

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