diff leim/MISC-DIC/CTLau.html @ 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 23a17af379b1
children f9a65d7ebd29 ef719132ddfa
line wrap: on
line diff