TYPEABBREV : type abbreviation

wff Primitives


© 2000, Carnegie Mellon University.

ETPS documentation homepage

TPS homepage