RETRIEVE

re-enter a (specified) proof-checker state
Major Section:  PROOF-CHECKER

Examples:
(retrieve associativity-of-permutationp)
retrieve

General Form: (retrieve &optional name)

See acl2-pc::retrieve, or use (help retrieve) inside the interactive proof-checker loop. Also see unsave.