[Rodin-b-sharp-user] Theory v1.1 and Theory Library v1 Release

[Issam M. <im...@ec...>]

Dear Rodin Users,

I am delighted to announce the release of Theory v1.1 together with the 
first version of the theory library.

The library can be downloaded from :

https://sourceforge.net/tracker/download.php?group_id=108850&atid=1558661&file_id=420425&aid=3387243

It should, then, be unzipped and copied to the MathExtensions project. 
It can, then, be used in model development. This first version includes:
theory of sequences, inductive lists, inductive binary trees and boolean 
operators.

This release is only compatible with Rodin 2.2.2.

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:

http://wiki.event-b.org/index.php/Theory_Plug-in

A help section is also provided as part of the Rodin Help Content.

For further information or to report problems, please do not hesitate to 
contact me.

*Issam Maamria*

*E-mail:*/im...@ec... <mailto:im...@ec...>/

*Dependable Systems and Software Engineering Group*

*School of Electronics and Computer Science*

*University of Southampton*

*England, UK*