-
chak@cse.unsw.edu.au. authored
- applySubstFam, applySubstVarVar & applySubstVarFam need to return their second argument -to be put into the todo list- if the rule would be applicable if the equalities would be supplied in the opposite order. MERGE TO 6.10
8a680445