Extending the Rodin Database

From Event-B
Revision as of 16:45, 24 March 2010 by Son (talk | contribs) (New page: == Adding a New Element == == Adding a New Attribute to Existing Elements ==)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Adding a New Element

Adding a New Attribute to Existing Elements