Update of /home/cvs/GiNaC/doc by chrisd Modified Files: Tag: ginac_1-3 powerlaws.tex Log Message: Added proof for the new simplification rule for powers.