expansionProofFromInstances
expansionProofsAreClosedUnderSubstitution
expansionProofsAreReplaceable
expansionProofsWithCutAreClosedUnderSubstitution
expansionProofsWithCutAreReplaceable
expansionTreesAreClosedUnderAdmissibleSubstitutions
expansionTreesAreReplaceable
exportLabelledSequentListLatex
extractFromTSTPCommentsIfNecessary
extractRecSchemFromResProof