n>
            </div>
        </div>
    </div>

    <!-- Table -->
    <table class="table table-hover table-condensed">
        <thead>
        <tr>
            <td>ID</td>
            <td>Name</td>
            <!--<td>Model Name</td>-->
            <td>Date</td>
            <!--<td>Proof Steps</td>-->
            <td>Status</td>
            <td><span class="pull-right">Actions</span></td>
        </tr>
        </thead>
        <tbody>
        <tr ng-repeat="proof in proofs | orderBy:'name'">
            