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);
}