Test area: Difference between revisions
From Event-B
				
				
				Jump to navigationJump to search
				
				
imported>Ponsard No edit summary  | 
				imported>WikiSysop No edit summary  | 
				||
| 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  | ||
[[Image:Rodin_Performances_Core_perf_full.png]]  | |||
 coco
