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

Re: Instantiation hints



Sam Owre wrote:
> I decided to start writing a strategy that does this, mostly to
> illustrate how this could be done in PVS.

Splendid, just what I needed. Thank you very much!
--
pertti