Template:Class

From Event-B

Jump to: navigation, search

Usage

Template use to typeset a class name.

Example

Variable
IHistory
provide history management.

Template

{{{1}}}
Retrieved from "http://wiki.event-b.org/index.php/Template:Class"
Personal tools