Trees with different leaves

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