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

Re: Rewrite rules don't rewrite this equality.



> 
> 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