FREE-VARS : WFFREC%

FREE-VARS is a recursive wff function.
Finds free variables of a wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage