Fix FOLowerUnits
Fix bug in FOLowerUnits
Fix FOLowerUnits
Last fix failed regression tests; this one corrects that.
Fix FOLowerUnits bug
Optimize FOLowerUnits
No longer attempts to modify proof if no lowerable units are found
Fix FOLowerUnits
Partially; more code required. Untested right now.
Checkpoint/Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits
Checkpoint
Fix FOLowerUnits
Fix FOLowerUnits
Requires further testing.
Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits
Fix FOLowerUnits