[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
a problem, could you please help me!
I'm studying the tutorial of the pvs, while applying
A, B, C: bool
prop: THEOREM (A IMPLIES (B IMOLIES C)) AND
(A IMPLIES B) AND A IMPLIES C
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.