Trees with different leaves

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