at.logic.gapt.proofs.expansionTrees
Perform substitution including propagation of merge nodes
Perform substitution _without_ propagation of merge nodes Useful for tests, has to be extra method due to different return type