CUSTOM-KEYWORD-HINTS.html -- ACL2 Version 6.3

## CUSTOM-KEYWORD-HINTS

user-defined hints

    Major Section:  MISCELLANEOUS

See add-custom-keyword-hint for a discussion of how advanced users can define their own hint keywords. For examples, see the community books directory `books/hints/`, in particular `basic-tests.lisp`.

## Some Related Topics

- ### SHOW-CUSTOM-KEYWORD-HINT-EXPANSION -- print out custom keyword hints when they are expanded