Difference between pages "Template:L witness" and "File:Um-0007.png"

Latest revision as of 20:50, 30 April 2020

Import from original Rodin user manual - Overwriting bad images previsouly uploaded

@@ Line 1: / Line 1: @@
-<noinclude>
+Import from original Rodin user manual - Overwriting bad images previsouly uploaded
-==Usage==
-Template use to typeset a witness in an event-b listing.
-==Example==
-{{l_machine|AntiCollide}}
-{{l_refines|Safety}}
-{{l_sees|Network}}
-{{l_component|Acyclic}}
-{{l_Variables|v1}}
-{{l_variable|v2}}
-{{l_event|control}}
-{{l_witnesses}}
-{{l_witness|a|2= a = c}}
-{{l_end_event}}
-{{l_end}}
-[[Category:Listing templates]]
-==Template==
-</noinclude><!--
---><p class="typeset-l_witness">{{l_label|{{{1}}}}}{{{2}}}</p>