Difference between revisions of "Rule-based Prover Plug-in"
From Event-B
Jump to navigationJump to searchimported>Im06r m (Removing all content from page) |
imported>Im06r |
||
Line 1: | Line 1: | ||
− | + | This page provides extensive documentation for the rule-based prover plug-in. |
Revision as of 20:13, 26 November 2009
This page provides extensive documentation for the rule-based prover plug-in.