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

Re: Rewrite rules don't rewrite this equality.



John,

The strategies.lisp file was accidentally left out of the distribution.
I will put it back in immediately.  If you don't want to wait for the
next patch release, you can get it at
  ftp://ftp.csl.sri.com/pub/pvs2.1/strategies.lisp

Sam

> > John Hoffman writes:
> >  > p.s. anyone know why the file "strategies.lisp" is no longer part of
> >  > the distribution?  I miss it....
> > 
> > I think most of the information from strategies.lisp can be accessed
> > via the x-prover-command window.  
> > 
> 
> I miss the source.  It was very useful for us when we developed some
> strategies in house.  We learned how to access the proof state by
> examining the lisp definitions of the strategies.
> 
> John