- STRUCTURE
- SYNOPSIS
Reverses the order of a list of subgoals.
- DESCRIPTION
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
- SEEALSO