(* now use:
pp FORMULA to print a formula, unreduced
pn FORMULA to print the normal form of a formula (when possible)
pi FORMULA to print the integer which FORMULA is a Church numeral for (when possible)
(* now use:
pp FORMULA to print a formula, unreduced
pn FORMULA to print the normal form of a formula (when possible)
pi FORMULA to print the integer which FORMULA is a Church numeral for (when possible)