Searched refs:CaseProof (Results 1 – 1 of 1) sorted by relevance
544 …re.CaseProof=function(a){sre.AbstractEnrichCase.call(this,a);this.mml=a.mathmlTree};goog.inherits(… class in sre545 sre.CaseProof.prototype.getMathml=function(){if(!this.semantic.childNodes.length)return this.mml;th…551 …t:sre.CaseBinomial.test,constr:sre.CaseBinomial},{test:sre.CaseProof.test,constr:sre.CaseProof},{t…