Specware 4.2.10

Release Notes

There is now a Haskell code generator.

The Isabelle translator now allows the user to specify that a subtype be implemented using Isabelle typedefs.

Initial version of transformation system, including a shell specialized for creating new derivations and a transformation scripting language for replay.