PR_bang_.html -- ACL2 Version 6.3

## PR!

print rules stored by the command with a given command descriptor

    Major Section:  HISTORY

    Examples:

    :pr! fn ; prints the rules from the definition of fn (including any
            ; :type-prescription rule and :definition rule), as well as all other
            ; rules created by the command that created by fn (which could be
            ; many rules if, for example, fn was defined by an include-book
            ; command).

    :pr! :max ; prints all the rules stored by the most recent command

Also see pr, which is similar but works at the event level instead of at the command level.

`Pr` takes one argument, a command descriptor, and prints the rules created by the corresponding event. In each case it prints the rune, the current enabled/disabled status, and other appropriate fields from the rule. See pr for further details.