  Description of cocommutative Hopf algebras associated with families of trees.
Applications include Cayley's theorem on the number of rooted trees with n
nodes, and Catalan's theorem on the number of rooted ordered trees with n
nodes.
