Trees with different leaves

Authored by:Martin R. Smith inTreeDist 2.9.1.
Source:different-leaves.Rmd, Vignette:different-leaves.html. Last updated:2023-02-17.