Major Section: EVENTS
Example Forms: (remove-custom-keyword-hint :my-hint)where
General Form: (remove-custom-keyword-hint keyword)
For an explanation of how custom keyword hints are processed, see custom-keyword-hints; also see add-custom-keyword-hint.
Note: This is an event! It does not print the usual event summary
but nevertheless changes the ACL2 logical world and is so recorded.