USE-THEORY : MEXPR

USE-THEORY is a top-level command.
Activate all the rewrite rules in a theory, and
deactivate all other rewrite rules.
The command format for USE-THEORY is:

 <n>USE-THEORY  THEORY 
"THEORY"


The arguments have the following meaning:
THEORY : Theory to activate

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage