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.