^^ : UNIFOP

^^ is an unification command.
Go to the root node in the unification tree
(the node with name "0").
^^ is a unification tree moving command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage