Update of /home/cvs/GiNaC/doc by chrisd Modified Files: powerlaws.tex Log Message: Added a proof for our new simplification rule for powers.