Unlink keyword for
Example Forms: ; Remove association of a directory with :smith for include-book and ld: (delete-include-book-dir :smith) General Form: (delete-include-book-dir kwd)
Note: This is an event! It does not print the usual event summary but nevertheless changes the ACL2 logical world and is so recorded.
This macro is local to any books and encapsulate
events in which it occurs; see add-include-book-dir for a
discussion of this aspect of both macros. For non-local associations of
keywords with directories, see add-include-book-dir! and delete-include-book-dir!. Note that