[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]



I am working with string.
I have difficulties to prove that two string are not equal.
I am using the 'list2finseq' definition and the prove always stop at :
(lambda (x ....): nth(....)) = (lambda (x ....): nth(....))
and I can not proceed (or I do not know how to proceed).
Do you have any suggestion, what should I do.

thanks alot.