[Rodin announce] Export to Isabelle Version 0.3.0

[Matthias S. <Mat...@in...>]

Dear Rodin Users,

I am proud to announce Version 0.3.0 of my "Export to Isabelle" plug-in.
It allows you to export sequents to Isabelle/HOL for further analysis. I 
use this plug-in to build new automated tactics for Rodin based on Isabelle.

More detailed informations can be found on
http://wiki.event-b.org/index.php/Export_to_Isabelle

Best regards,
Matthias