UNSAVE

remove a proof-checker state 
Major Section:  PROOF-CHECKER


Example:
(unsave assoc-of-append)


General Form:
(unsave name)
Eliminates the association of a proof-checker state with name. See unsave or see acl2-pc::unsave.

Also see acl2-pc::save and see retrieve.