Differences

This shows you the differences between two versions of the page.

--- resources [2009/04/12 16:45] – jonathan
+++ resources [2009/05/07 17:34] (current) – jonathan
@@ Line 7: / Line 7: @@
   * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B language and mathematics]]
     * [[http://wiki.event-b.org/index.php/Mailing_lists|Rodin forums]]
+    * [[http://wiki.event-b.org/index.php/Rodin_Provers|Event-B Theorem Provers]]
   * [[http://www.atelierb.eu/index-en.php|Atelier B Tool]]