Revision history of "Membership in Goal"

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

(newest | oldest) View ( | older 250) (20 | 50 | 100 | 250 | 500)
  • curprev 14:16, 29 June 2011imported>Billaude 8,419 bytes +8,419 New page: = Objective = This page describes the design of the reasoner MembershipGoal and its associated tactic MembershipGoalTac.<br> This reasoner discharges sequent whose goal denotes a membersh...
(newest | oldest) View ( | older 250) (20 | 50 | 100 | 250 | 500)