re moves.</p><p>Some messages are instructions for what to do next; some report results
and some provide data for use in the future.</p><p>Some types like <code>LocalProver</code>, <code>ExpressionEval</code>, <code>TermGenParams</code> etc can be posted in their raw form.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="index.html" name="provingground.learning" id="provingground.learning" class="extype">learning</a></dd></dl></div></li><li class="current-entities indented3"><s