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