ReductiveCutElimException
RefutationSketchToRobinson
RemoveEqRulesFromGroundSchemaProof
ResolutionRuleCreationException
RichMultiExpansionSequent
RobinsonProofWithInstance
reconstructLKProofFromFile
reconstructLKProofFromOutput
reconstructRobinsonProofFromFile
reconstructRobinsonProofFromOutput
removeFormulasAtOccurrences
removeFromExpansionSequent
renameIndexedVarInProjection
robinsonProofWithReconstructedEndSequent
robinsonProofWithReconstructedEndSequentFromFile