   </div>

    <hr/>

    <span class="row" ng-if="workingDir.length > 0">
        <a ng-click="setWorkingDir(undefined)">KeYmaera X</a>
        <span ng-repeat="folder in workingDir">
            <span> / </span><a ng-click="setWorkingDir($index+1)">{{folder}}</a>
        </span>
    </span>

    <span class="row">
    <p class="col-md-12" ng-if="models.length <= 0" ng-cloak>
        Your database does not contain models so far. Upload new models or import tutorial models above.
    </p>
    <table class="