PROPS

print the ACL2 properties on a symbol
Major Section:  OTHER

Example:
:props assoc-eq

Props takes one argument, a symbol, and prints all of the properties that are on that symbol in the ACL2 world.