:pl are rewrite rules, definition rules,
and meta rules.
Major Section: HISTORY
Examples: :pl foo ; prints rules that rewrite some call of foo :pl (+ x y) ; prints rules that rewrite (+ x y)
Pl takes one argument, a function symbol or a term. If the argument is a
function symbol, :pl displays the rules that rewrite some term whose top
function symbol is the given one. Otherwisel, :pl displays the rules
that rewrite that term.
The kinds of rules printed by :pl are rewrite rules, definition rules,
and meta rules.