Differences

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

--- resources [2010/01/06 18:41] – jonathan
+++ resources [2010/03/21 22:27] (current) – jonathan
@@ Line 9: / Line 9: @@
   * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B slides]] (this course uses qa modified version of these slides)
+  * [[http://wiki.event-b.org/index.php/Rodin_Provers|How to use the provers]]