Generalized Modus Ponens on natural integers

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#343 Generalized Modus Ponens on natural integers

Milestone: 3.8

Status: closed-fixed

Owner: Laurent Voisin

Labels: Event-B Prover (105)

Priority: 5

Updated: 2023-01-12

Created: 2014-12-17

Creator: Laurent Voisin

Private: No

Extend the Generalized Modus Ponens reasoner so that 0 ≤ n and n ∈ ℕ are seen as variation of each other. Similar idea for ℕ1.

To be implemented at the same time as [#342].

Related

Feature Requests: ~~#342~~
Feature Requests: #354

Discussion

Laurent Voisin - 2015-11-05

Group: 3.2 --> 3.3
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Guillaume Verdier - 2022-11-10

Group: 3.3 --> 3.8
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Guillaume Verdier - 2023-01-12

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Guillaume Verdier - 2023-01-12

This has been implemented and merged in commit [8779fe].

Related

Commit: [8779fe]

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.