https://wiki.event-b.org/index.php?action=history&feed=atom&title=Template%3AL_end_eventTemplate:L end event - Revision history2026-05-13T23:52:24ZRevision history for this page on the wikiMediaWiki 1.42.1https://wiki.event-b.org/index.php?title=Template:L_end_event&diff=12951&oldid=previmported>Mathieu: New page: <noinclude> ==Usage== Template use to typeset an invariant clause in an event-b listing. ==Example== {{l_end_event}} Category:Listing templates ==Template== </noinclude><!-- --><p cl...2009-02-26T13:36:36Z<p>New page: <noinclude> ==Usage== Template use to typeset an invariant clause in an event-b listing. ==Example== {{l_end_event}} <a href="/index.php/Category:Listing_templates" title="Category:Listing templates">Category:Listing templates</a> ==Template== </noinclude><!-- --><p cl...</p>
<p><b>New page</b></p><div><noinclude><br />
==Usage==<br />
Template use to typeset an invariant clause in an event-b listing.<br />
==Example==<br />
<br />
{{l_end_event}}<br />
<br />
[[Category:Listing templates]]<br />
==Template==<br />
</noinclude><!--<br />
--><p class="typeset-l_evt_clause">END</p></div>imported>Mathieu