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

Re: Typing!

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.
> Thanks,
> Sam Owre

HI Sam,

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
file pci.pvs

I made sure that the proof will stop at the step where the problem

Many Thanks for your help.