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

a problem, could you please help me!



Dear Sir,


 I'm studying the tutorial of the pvs, while applying
the program:

propositions: THEORY
 BEGIN
 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
advance.

yours,
gihan

Ph.D. student, computer science department, Manchester University

__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com