Dear Rodin Users,
I am delighted to announce the release of the Theory plug-in version 0.8.
This release includes certain bug fixes and requires Rodin 2.1.1. Also,
experimental support for recursive definition of operators is added. An
import relationship now exists between theories. Finally, it is also
possible to defined theories at two different levels: workspace and
Before using the plug-in, I strongly advise users to read the User
Manual and the plug-in documentation available at the plug-in wiki-page at:
For any further information or to report problems, please do not
hesitate to contact me.
*Dependable Systems and Software Engineering Group*
*School of Electronics and Computer Science*
*University of Southampton*