<div class="modal-header">
    <h3 class="modal-title">Rule Application</h3>
</div>
<div class="modal-body">
<pre>
   <k4-mathjaxformula ng-if="formula" formula="formula.formula" delimiter="inline"></k4-mathjaxformula>
</pre>

<div>
    <div class="panel panel-default">
        <div class="panel-body">
            <div class="k4-inline-block" ng-repeat="t in ruleTactics" k4-popover>
                <span ng-if="t.name != 'keymaerax.step' && t.name != 'dl.hide'"> <!-- exclude step and weaken tactic from the 