Difference between revisions of "Theory Plug-in"
From Event-B
Jump to navigationJump to searchimported>Im06r (New page: Return to Rodin Plug-ins) |
imported>Im06r |
||
Line 1: | Line 1: | ||
Return to [[Rodin Plug-ins]] | Return to [[Rodin Plug-ins]] | ||
+ | |||
+ | See also the late [[Rule-based Prover Plug-in]]. The last release of the Rule-based Prover was v0.3. The Theory plug-in starts at version v0.5. |
Revision as of 16:19, 1 October 2010
Return to Rodin Plug-ins
See also the late Rule-based Prover Plug-in. The last release of the Rule-based Prover was v0.3. The Theory plug-in starts at version v0.5.