Category:Listing templates
From Event-B
Jump to navigationJump to search
Those templates are used to typeset event-b listings.
Pages in category "Listing templates"
The following 24 pages are in this category, out of 24 total.
L
- Template:L action
- Template:L actions
- Template:L comment
- Template:L component
- Template:L end
- Template:L end event
- Template:L event
- Template:L events
- Template:L guard
- Template:L guards
- Template:L invariant
- Template:L invariants
- Template:L label
- Template:L machine
- Template:L param
- Template:L parameters
- Template:L refines
- Template:L sees
- Template:L theorem
- Template:L theorems
- Template:L variable
- Template:L variables
- Template:L witness
- Template:L witnesses
