Search results
From Event-B
Jump to navigationJump to searchCreate the page "L sees" on this wiki! See also the page found with your search.
Page title matches
- Template use to typeset a sees clause in an event-b listing. --><p class="typeset-l_clause">SEES</p>374 bytes (51 words) - 10:16, 26 February 2009