Utilities for describing derivation trees
Owned by David Pearce.
#13 in #describing
10KB 142 lines
Utilities for describing proof derivations.