Template:L comment
From Event-B
Revision as of 13:46, 26 February 2009 by imported>Mathieu (Template:L omment moved to Template:L comment)
Usage
Template use to typeset an event name in an event-b listing.
Template use to typeset an event name in an event-b listing.
Template