REVERSE_LT
Tactical.REVERSE_LT : list_tactic
Reverses the order of a list of subgoals.
The list-tactic REVERSE_LT reverses the order of a list of subgoals.
Failure
Never fails.
Example
Where tac is a tactic, tac THEN_LT REVERSE_LT is equivalent to
REVERSE tac