Difference between revisions of "Test area"
From Event-B
Jump to navigationJump to searchimported>WikiSysop (New page: <math> A </math>) |
imported>WikiSysop |
||
Line 1: | Line 1: | ||
− | <math> A </math> | + | <math> A \cup B </math> |
Revision as of 10:08, 23 June 2008