PRIMSUBS : CONTEXT

PRIMSUBS is a context.
For creating substitutable wffs.

TPS documentation homepage


PRIMSUBS : REVIEW-SUBJECT

PRIMSUBS is a subject.
Variables associated with primitive substitutions.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage