Major Section: HISTORY
Examples: :pf (:definition fn) ; prints the definition of fn as an equality :pf fn ; same as above
:pf (:rewrite foo) ; prints the statement of the rewrite rule foo :pf foo ; same as above
pf takes one argument, an event name or a rune, and prints the
formula associated with name.