Hi, Ladislav > nice. Thanks for pointing that out. I will let the others to find the > solution.
Very very fast! I 'd like to see your solution. > Do you think that I should modify MUT-EQUAL1? a bit to correct this? I do not think it is a bug, mut-equal1 "sees" an identity that no other function sees. Instead it is clear that mut-equal? is not equivalent to mut-equal1?. --- Ciao Romano -- To unsubscribe from this list, please send an email to [EMAIL PROTECTED] with "unsubscribe" in the subject, without the quotes.
