Extension Rewrite Rules
From Event-B
Revision as of 10:23, 9 September 2010 by imported>Nicolas (Extension Rewrite Rules moved to Extension Proof Rules: Gathering rewrite and inference rules for extensions in the same page.)
Redirect page
Redirect to: