doc-src/Tutorial/ToyList/qed2

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 "app_Nil2";