Template:L parameters

From Event-B
Revision as of 14:16, 26 February 2009 by imported>Mathieu
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Usage

Template use to typeset a parameter event clause in an event-b listing.

Example

MACHINE

Safety

Template:L evente

ANY

END

Template

ANY