MS98-REWRITES : FLAG

MS98-REWRITES is a flag or parameter.
When T, make all of the global equalities into rewrites.
MS98-REWRITES takes values of type BOOLEAN.
It belongs to subjects MS98-1 .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage