public class ProofHelper extends HelperBase
_context, _out, CHECKED, PROP_ADVANCED
ProofHelper()
java.lang.String
getProof()
_t, _t, _t, _x, getChecked, isAdvanced, ngettext, setContextId, storeWriter
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ProofHelper()
public java.lang.String getProof()