Rodin Proof Tactics

From Event-B
Revision as of 21:13, 6 March 2010 by imported>Son (New page: This page contains descriptions of the available proof tactics within the RODIN Platform.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

This page contains descriptions of the available proof tactics within the RODIN Platform.