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.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Adding_Manual_Rewrite_Reasoners&oldid=637’