Template:Class
From Event-B
Revision as of 13:36, 27 October 2008 by imported>Mathieu (Template use to specify a class name.)
Usage
Template use to typeset a class name.
Example
Variable
IHistory
provide history management.
Template
{{{1}}}
Template use to typeset a class name.
Variable
provide history management.