Talk:Modus Ponens generalized
From Event-B
Hi Emmanuel,
could you please add a category to this page. You can find a list of the category used at Special:Categories. You may want to use the "Design proposal" category for instance, by adding the following to the end of the page :
[[Category:Design proposal]]
mathieu 08:31, 5 May 2011 (UTC)