PMPROPSYM : polymorphic proper symbol

wff Primitives



© 2000, Carnegie Mellon University.

ETPS documentation homepage

TPS homepage