Template:L events
From Event-B
Jump to navigationJump to searchUsage
Template use to typeset an events clause in an event-b listing.
Example
EVENTS
Template
EVENTS
Template use to typeset an events clause in an event-b listing.
EVENTS
EVENTS