/div>
                </span>
            </div>
        </div>
    </div>
    <div class="panel panel-default">
        <div class="panel-body">
            <a class="btn btn-default" ng-click="applyTacticsByName('keymaerax.step')"><i class="fa fa-step-forward"></i><br/><span>Step</span></a>
            <a class="btn btn-default" ng-if="formula" ng-click="applyTacticsByName('dl.hide')"><i class="fa fa-eye-slash"></i><br/><span>Hide</span></a>
        </div>
    </div>
</div>
</div>
<div class="modal-footer