Home | Releases | Documentation | Support
Specware 4.2.7
Release Notes
Added the "refine def"
construct to specify refined version of a function.
Updated Isabelle translator to work with Isabelle 2009-1.
Miscellaneous bugs fixes, particularly to Isabelle translation.