[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: a problem, could you please help me!
It might be caused by your typo "IMOLIES". I think it should be "IMPLIES".
Hope this would help you.
----- Original Message -----
From: "jihan khattab" <firstname.lastname@example.org>
Sent: Thursday, January 16, 2003 9:25 PM
Subject: a problem, could you please help me!
> Dear Sir,
> I'm studying the tutorial of the pvs, while applying
> the program:
> propositions: THEORY
> A, B, C: bool
> prop: THEOREM (A IMPLIES (B IMOLIES C)) AND
> (A IMPLIES B) AND A IMPLIES C
> END propositions
> i got the error:
> Error: excl:: string2 argument should be a string.
> i do not know the meaning of that error and i need
> your advice, could you please help me. Thank you in
> Ph.D. student, computer science department, Manchester University
> Do you Yahoo!?
> Yahoo! Mail Plus - Powerful. Affordable. Sign up now.