Trees with different leaves

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