ADD-HYPS : MEXPRADD-HYPS is a top-level command.
Weaken a line to include extra hypotheses.
Adding the hypotheses to the line may cause some lines to
become planned lines. If possible, the user is given the option
of adding hypotheses to lines after the given line so that no
lines will become planned.
The command format for ADD-HYPS is:
<n>ADD-HYPS HYPS LINE
The arguments have the following meaning:
HYPS : Hyp Lines
LINE : Line to which Hypotheses should be Added
TPS documentation homepage