at.logic.gapt.proofs.expansionTrees
General class for expansion trees with pseudo case classes including for MergeNodes, which only occur during merging/substituting
General class for expansion trees with pseudo case classes including for MergeNodes, which only occur during merging/substituting