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.