><b>All Proofs</b></div>
            <div class="col-md-6">
                <a class="btn btn-default pull-right" id="proofsarchiving"
                   data-intro="<strong>Extract</strong> all proofs into a single archive (.kyx, includes all finished or partial proofs with their models)." data-position="left"
                   ng-click="downloadAllProofs()"
                   uib-tooltip="Extract all proofs into a single archive (.kyx)"><i class="fa fa-archive"></i> Extract all</a>
            </div>
   