Difference between revisions of "Extension Rewrite Rules"
From Event-B
Jump to navigationJump to searchimported>Nicolas (Extension Rewrite Rules moved to Extension Proof Rules: Gathering rewrite and inference rules for extensions in the same page.) |
(No difference)
|
Latest revision as of 10:23, 9 September 2010
Redirect to: