PP : EDOP

PP is an editor command.
Pretty-print a wff.
PP is a printing command.

TPS documentation homepage


PP : MATEOP

PP is a mating-search command.
Print an expansion tree with node-names.
PP is a printing command.

TPS documentation homepage


PP : UNIFOP

PP is an unification command.
Displays the disagreement pairs at the current node. See also PP*.
More information about the current node is given by the command P.
PP is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage