Talk:Modus Ponens generalized

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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)

Retrieved from ‘https://wiki.event-b.org/index.php?title=Talk:Modus_Ponens_generalized&oldid=10686’