----------------------------------------------------------------------
ALL_LT                                                      (Tactical)
----------------------------------------------------------------------
ALL_LT : list_tactic

SYNOPSIS
Passes on a goal list unchanged.

KEYWORDS
list-tactic, identity.

DESCRIBE
{ALL_LT} applied to a goal list {gl}
simply produces the goal list {gl}. It is
the identity for the {THEN_LT} tactical.

FAILURE
Never fails.

EXAMPLE
To apply tactic {tac1} to a goal, and then to apply {tac2}
to all resulting subgoals except the first, use

  tac1 THEN_LT SPLIT_LT 1 (ALL_LT, ALLGOALS tac2)


SEEALSO
Tactical.THEN_LT, Tactical.SPLIT_LT, Tactical.ALLGOALS.

----------------------------------------------------------------------