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

-- 
-- Paul S. Miner                | email: p.s.miner@larc.nasa.gov
-- 1 South Wright St. / MS 130  |   fax: (757) 864-4234
-- NASA Langley Research Center | phone: (757) 864-6201
-- Hampton, Virginia 23681-0001 |