Created Release: Dafny 1.6.3 (Mar 20, 2013)

This version includes support for co-induction (version 1.6) and improvements to the "calc" statement for proof calculations (1.6.1, plus operator <== in version 1.6.2 and operator ==#[..] in version 1.6.3).