Theory Plug-in

From Event-B

Revision as of 16:19, 1 October 2010 by imported>Im06r

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Theory_Plug-in&oldid=10259’

Navigation menu