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 in some Lisps (including akcl), 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.
