ADD-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

© 1988-99, Carnegie Mellon University.

TPS homepage