Effective Immediately

New release of DC Proof 1.0 dated 2006-05-26

Includes:

1. Improved warning message for the Premise Rule indicating any
relevant dependencies. Gives option to rename variables in the new
premise.

2. Add warning message for the Existential Specification indicating
any dependencies on the specified variable.

3. Changes to user documentation to reflect above changes (for
Premise and Specification Rules).

Design note: Using dependencies in this way was thought to be
preferable to having the user explicitly declare the scope of each
free variable. It requires less typing, seems somehow more natural
and is probably faster to learn.


Download new version at DC Proof Online:

http://www.dcproof.com

OR

Download directly by clicking on:

http://www.dcproof.com/dcpsetup.exe


Dan Christensen