Applies the first theorem-tactical in a list that succeeds.
DESCRIPTION
When applied to a list of theorem-tacticals, a theorem-tactic and a theorem,
FIRST_TCL returns the tactic resulting from the application of the first
theorem-tactical to the theorem-tactic and theorem that succeeds. The effect
is the same as: