ches</div>
</div>
</div>
</div>
</div>

<div id="nav-path" class="navpath">
  <ul>
<li class="navelem"><b>proofs</b></li><li class="navelem"><a href="classproofs_1_1_counter_aux.html">CounterAux</a></li>  </ul>
</div>
</div><!-- top -->
<div id="doc-content">
<div class="header">
  <div class="headertitle"><div class="title">proofs::CounterAux&lt; Logic, kCharacteristicTwo &gt; Class Template Reference</div></div>
</div><!--header-->
<div class="contents">
<hr/>The documentation for this class was generated