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.