Effectively immediately

New release of DC Proof 1.0 includes:

1. Change to User Reference Guide. Added note to section on
Substitution Rule:

"Please note that you cannot, for example, substitute x=b+c directly
into the equation, y=a+b+c. The usual order of precedence (link) for
algebraic operators is built into DC Proof, so the equation y=a+b+c
is interpreted as y=(a+b)+c. The leftmost + operator has the higher
precedence. To make the substitution x=b+c, you must first apply the
associative rule (to be proven) to obtain y=a+(b+c)."

Thanks Thomas for bringing this to my attention!

There have been no changes to the functionality of DC Proof.

Download new version at DC Proof Online at http://www.dcproof.com

Or download directly by clicking on
http://www.dcproof.com/dcpsetup.exe

Dan