private static final class ProofManagementDialog.ProofWrapper extends Object
Proof
proof
ProofManagementDialog.ProofWrapper(Proof proof)
boolean
equals(Object o)
int
hashCode()
String
toString()
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public final Proof proof
public ProofManagementDialog.ProofWrapper(Proof proof)
public String toString()
toString
Object
public boolean equals(Object o)
equals
public int hashCode()
hashCode