></div></div><div class="toggleContainer"><div class="toggle block"><span>Known Subclasses</span><div class="subClasses hiddenContent"><a href="FreeExpr$$AnonVar.html" name="provingground.translation.FreeExpr.AnonVar" id="provingground.translation.FreeExpr.AnonVar" class="extype">AnonVar</a>, <a href="FreeExpr$$FF$.html" name="provingground.translation.FreeExpr.FF" id="provingground.translation.FreeExpr.FF" class="extype">FF</a>, <a href="FreeExpr$$FreeAppln.html" name="provingground.translation.FreeExpr.Fr