SET-RW-CACHE-STATE_bang_.html -- ACL2 Version 6.2

SET-RW-CACHE-STATE!

set the default rw-cache-state non-locally

Major Section:  SWITCHES-PARAMETERS-AND-MODES

Please see set-rw-cache-state, which is the same as set-rw-cache-state! except that the latter is not local to the encapsulate or the book in which it occurs.