SHOW-CUSTOM-KEYWORD-HINT-EXPANSION.html -- ACL2 Version 6.3

### SHOW-CUSTOM-KEYWORD-HINT-EXPANSION

print out custom keyword hints when they are expanded

    Major Section:  CUSTOM-KEYWORD-HINTS

      Examples:
      (show-custom-keyword-hint-expansion t)
      (show-custom-keyword-hint-expansion nil)

      General Form:
      (show-custom-keyword-hint-expansion flg)

If the value of `flg` is non-`nil`, then when custom keyword hints are expanded, the system prints the results of each expansion. This is sometimes useful for debugging custom keyword hints and, from time to time, may be useful in understanding how a custom hint affects some proof attempt.

The default setting is `nil`.

For an explanation of how custom keyword hints are processed, see custom-keyword-hints.