 <a href="FreeExpr$$OrCases.html" name="provingground.translation.FreeExpr.OrCases" id="provingground.translation.FreeExpr.OrCases" class="extype">OrCases</a>, <a href="FreeExpr$$QED$.html" name="provingground.translation.FreeExpr.QED" id="provingground.translation.FreeExpr.QED" class="extype">QED</a>, <a href="FreeExpr$$Special.html" name="provingground.translation.FreeExpr.Special" id="provingground.translation.FreeExpr.Special" class="extype">Special</a>, <a href="FreeExpr$$TT$.html" name="provingground.