ACL2-pc::nil
(macro) used for interpreting control-d
Example and General form:
nil
(or, control-d).
The whole point of this command is that there have been Lisps where if you
type control-d then it seems, on occasion, to get interpreted as
nil. Without this command, one seems to get into an infinite loop.
