Difference between revisions of "Test area"
From Event-B
Jump to navigationJump to searchimported>WikiSysop |
imported>Tommy m |
||
Line 10: | Line 10: | ||
\subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union | \subseteq \not\subseteq \tbij \tfun \tinj \trel \True \tsur \union | ||
\Union \upred \upto \usucc }}}</math> coco | \Union \upred \upto \usucc }}}</math> coco | ||
− | |||
− |
Latest revision as of 09:24, 16 July 2012
coco