Slava Pestov 64cbf619a9 Add more algebraic simplifications: comparison of a comparison, comparison where first is immediate		2008-11-06 09:27:52 -06:00
..
rewrite.factor	Add more algebraic simplifications: comparison of a comparison, comparison where first is immediate	2008-11-06 09:27:52 -06:00