[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
On Fri, 17 Apr 1998, Sam Owre wrote:
> Hi Abdel,
> Could you send a dump of your specification so I can look into this? It
> sounds like it may be a bug.
> Sam Owre
I tried to dump the pvs and proof files but it doesn't inlcude the library
though I asked it to include the library.
Anyway, I'll tar all the files (+ gzip and uuencode) and send it to you.
You just have to rerun the proof of lemma inv_D_noop (lemma -2) in the
I made sure that the proof will stop at the step where the problem
Many Thanks for your help.