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.