WFF-OPS2 : MODULE

WFF-OPS2 is a module.

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

NEEDED-MODULES WFF-OPS-ABB

MACRO-FILES WFFLMBD-MACROS

FILES WFFABB2 WFFSUB2 WFFLMBD2 WFFEQU2

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage