Adding Manual Rewrite Reasoners
From Event-B
Revision as of 16:03, 13 September 2008 by imported>Son (New page: Manual rewrite Reasoners of this type apply a rewriting rule for a given formula (or sub-formula) in the goal or in one of the hypotheses.)
Manual rewrite Reasoners of this type apply a rewriting rule for a given formula (or sub-formula) in the goal or in one of the hypotheses.