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.
