ACL2-PC::FREE

(atomic macro) create a ``free variable''
Major Section:  PROOF-CHECKER-COMMANDS

Example:
(free x)

General Form: (free var)

Mark var as a ``free variable''. Free variables are only of interest for the put command; see its documentation for an explanation.