REVERSE_LTTactical.REVERSE_LT : list_tacticReverses the order of a list of subgoals.
The list-tactic REVERSE_LT reverses the order of a list
of subgoals.
Never fails.
Where tac is a tactic,
tac THEN_LT REVERSE_LT is equivalent to
REVERSE tac