ONLY-EXT : INFO

ONLY-EXT is a flag setting or other piece of information.
A flag setting for REWRITE-EQUALITIES.
When rewriting an equality (during a ND proof or when constructing
an etree), rewrite only those equalities that can be rewritten using
extensionality.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage