DEFAULT-WFFEQ : FLAG

DEFAULT-WFFEQ is a flag or parameter.
The name of the functions which checks for equality of wffs.
DEFAULT-WFFEQ takes values of type SYMBOL.
It belongs to subjects OUTLINE .
Its default value is WFFEQ-AB
Its current value is WFFEQ-AB.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage