span></span> <span class="symbol"><span class="name">rebuild</span><span class="params">(<span name="eqs">eqs: <span name="scala.Predef.Set" class="extype">Set</span>[<a href="Equation.html" name="provingground.learning.Equation" id="provingground.learning.Equation" class="extype">Equation</a>]</span>)</span><span class="result">: <span name="scala.Predef.Set" class="extype">Set</span>[<a href="Equation.html" name="provingground.learning.Equation" id="provingground.learning.Equation" class="extype">Equation