Added a proof for our new simplification rule for powers.
authorChris Dams <Chris.Dams@mi.infn.it>
Thu, 1 Feb 2007 16:15:02 +0000 (16:15 +0000)
committerChris Dams <Chris.Dams@mi.infn.it>
Thu, 1 Feb 2007 16:15:02 +0000 (16:15 +0000)
commita35c58dffed76bd9991af62eb88aa1138782d0ef
tree54ee586d0b8a33fd8d506a5b5ad11114f9d0f24d
parent09403bb1127f7ef58dce7b669e681c74dd77eaed
Added a proof for our new simplification rule for powers.
doc/powerlaws.tex