-
chak@cse.unsw.edu.au. authored
- This cleans up some of the mess in reduceImplication and documents the precondition on the form of wanted equalities properly. - I also made the back off test a bit smarter by allowing to back off in the presence of wanted equalities as long as none of them got solved in the attempt. (That should save generating some superfluous bindings.) MERGE TO 6.10
cfda0421