ABBREV-SET-OPS : CONTEXT

ABBREV-SET-OPS is a context.
Set-theoretic logical abbreviations.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage