DerivationTree

Utilities for describing proof derivations.