WFF-OPS1 : MODULE

WFF-OPS1 is a module.

It is loaded.
Defines some basic operations on wffs in first-order logic.

NEEDED-MODULES WFF-PARSE

FILES WFFSUB1 WFFNEG1 WFFEQU1 WFFCHANGE WFFMBED

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage