ist</a>[<a href="AndrewsCurtis$$Move.html" name="provingground.andrewscurtis.AndrewsCurtis.Move" id="provingground.andrewscurtis.AndrewsCurtis.Move" class="extype">Move</a>]</span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="" name="provingground.andrewscurtis.AndrewsCurtis.AtomicChain" id="provingground.andrewscurtis.AndrewsCurtis.AtomicChain" class="extype">AtomicChain</a> → <a href="AndrewsCurtis$$Chain.html" name="provingground.andrewscurtis.Andr