Difference between revisions of "Template:L guards"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: <noinclude> ==Usage== Template use to typeset an event name in an event-b listing. ==Example== {{l_events}} {{l_event|control|extended|ordinary}} {{l_parameters}} {{l_param|a}} {{l_param|...) |
(No difference)
|
Latest revision as of 14:12, 26 February 2009
Usage
Template use to typeset an event name in an event-b listing.
Example
EVENTS
control ≙
// extended and ordinary
ANY
a
x
WHERE
grd1 :
x ⊆ next
WITH
y :
{{{2}}}
THEN
act1 :
pro :∈ BOOL
END
END
Template
WHERE
