Template:Class
From Event-B
Revision as of 11:07, 16 December 2008 by imported>Mathieu
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.