e</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$TimeLimit.html" title="" class="class"></a><a href="HoTTMessages$$TimeLimit.html" title="">TimeLimit</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="HoTTMessages$$UseLemma.html" title="instruction to use a lemma - could be as a tangent or mixing in to generators if mixing in just call ConsiderTerms" class="class"></a><a href="HoTTMessages$$UseLemma.html" title="inst