Difference between pages "Theory Plug-in" and "File:Invariants.png"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Im06r (New page: Return to Rodin Plug-ins) |
imported>Pascal (uploaded a new version of "Image:Invariants.png": Reverted to version as of 12:09, 2 July 2009) |
||
| Line 1: | Line 1: | ||
| − | + | Partitioning the invariants. | |
Revision as of 12:55, 2 July 2009
Partitioning the invariants.
