diff leim/ChangeLog @ 104640:5d1b4af59a68

(Rewrite Rules): Improve the example. (Simplifying Formulas): Explain use of the I and H flags for simplification.
author Jay Belanger <jay.p.belanger@gmail.com>
date Thu, 27 Aug 2009 13:35:10 +0000
parents 940c90218b57
children bf61a80c87b4
line wrap: on
line diff