Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-09-21 14:18:56 -0700 (Thu, 21 Sep 2000)
Revision: 3068
Log message:
- Added ~ and sqeq to parser. For now, they produce Perv!"rewrite" terms,
but once the new rewriting mechanisms are implemented, we'll be able to
change them to produce "sqeq" opname in "local" theory. I also changed all
ITT conditional rewrites from Perv!"rewrite" to ~.
- "make clean" now cleans all the new stuff Jason added to doc/{ps,latex}