BETA-ETA-TOGETHER : INFO

BETA-ETA-TOGETHER is a flag setting or other piece of information.
A flag setting for LAMBDA-CONV.
When doing lambda-conversion, use beta and eta rules together (for example,
when translating an eproof into ND style).

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage