doc-src/Tutorial/ToyList/qed

Simprocs for type "nat" no longer introduce numerals unless they are already
present in the expression, and in a coefficient position (i.e. as a factor
of a monomial).

qed "rev_rev";