Group refinement plugin: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons 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.

31 August 2010

17 August 2010

16 August 2010

  • curprev 14:4714:47, 16 August 2010‎ imported>Alexei‎ m 4,749 bytes −24‎ No edit summary
  • curprev 14:3114:31, 16 August 2010‎ imported>Alexei‎ m 4,773 bytes +2,524‎ No edit summary
  • curprev 14:2114:21, 16 August 2010‎ imported>Alexei‎ m 2,249 bytes +18‎ No edit summary
  • curprev 14:1714:17, 16 August 2010‎ imported>Alexei‎ m 2,231 bytes +2,231‎ New page: == Group refinement == === Motivation === According to the Event B refinement laws, new behaviour is introduced by adding new events to a refinement machine. Such new behaviour may corre...
Retrieved from ‘https://wiki.event-b.org/index.php/Group_refinement_plugin’