SHOWNOTYPES : MEXPR

SHOWNOTYPES is a top-level command.
Suppress the printing of types on all wffs.
The command format for SHOWNOTYPES is:

 <n>SHOWNOTYPES 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage