ML2-REWRITE : MODULE

ML2-REWRITE is a module.

It is loaded.
Rewrite rules for ND proofs.

NEEDED-MODULES OTLSUGGEST MATH-LOGIC-2-WFFS THEOREMS REPLACE RRULES

FILES ML2-REWRITE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage