WFFSET : ARGTYPE

WFFSET is an argument type.
A symbol standing for a set of wffs in a hypothesis.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage