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