ABBREV-OPS : CONTEXT

ABBREV-OPS is a context.
TPS objects having to do with logical abbreviations.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage