REVERSE_LT : list_tactic
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
HOL  Trindemossen-1