| public ProofStepRenaming ( Object proof, ProofStep predecessor ) : System | ||
| proof | Object | |
| predecessor | ProofStep | |
| return | System | |
public ProofStepRenaming(Object proof, ProofStep predecessor)
{
this.proof = proof;
this.predecessors.Add(predecessor);
}