View source for File:SymbolTable ClickINT.png

From Event-B

← File:SymbolTable ClickINT.png

Jump to navigation Jump to search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

Symbol table view.
An editor is open and INT has just been inserted by clicking its symbol in the view.

Return to File:SymbolTable ClickINT.png.

Retrieved from ‘https://wiki.event-b.org/index.php/File:SymbolTable_ClickINT.png’

Navigation menu