eeAppln" id="provingground.translation.FreeExpr.FreeAppln" class="extype">FreeAppln</a>, <a href="FreeExpr$$FreeEquality.html" name="provingground.translation.FreeExpr.FreeEquality" id="provingground.translation.FreeExpr.FreeEquality" class="extype">FreeEquality</a>, <a href="FreeExpr$$FreeIncl1.html" name="provingground.translation.FreeExpr.FreeIncl1" id="provingground.translation.FreeExpr.FreeIncl1" class="extype">FreeIncl1</a>, <a href="FreeExpr$$FreeIncl2.html" name="provingground.translation.FreeExpr.F