Category:Listing templates
From Event-B
Revision as of 08:39, 24 February 2009 by imported>Mathieu (New page: Those templates are used to typeset event-b listings. Category:Typesetting templates)
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
