[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] Problems proving a lemma in PVS
At 01:05 PM 4/11/2006, TommyC wrote:
Is there a reason
why I cannot prove this?
hmmm. Yes, I can think of a lot of reasons
why YOU might not be able to prove it :-)