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.