[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Rewrite rules don't rewrite this equality.
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
> > 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.