[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: firstname.lastname@example.org
- Subject: string
- From: Kong Woei Susanto <email@example.com>
- Date: Fri, 02 Oct 1998 17:15:55 +0100
- In-Reply-To: <Pine.SGI.3.96.980928103117.21214Bfirstname.lastname@example.org>
- References: <199809182339.QAA02530@chlorine.csl.sri.com>
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.