NAT in the proof command

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

#201 NAT in the proof command

Milestone: V0.8.2

Status: closed-duplicate

Owner: Son Hoang

Labels: Event-B prover (138)

Priority: 5

Updated: 2008-05-26

Created: 2008-05-17

Creator: Anonymous

Private: No

Hello,

When entering NAT in the proof command (e.g. for adding the hypothesis x : NAT) NAT is not recognized.

thanks

Discussion

Laurent Voisin - 2008-05-26

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

Laurent Voisin - 2008-05-26

Logged In: YES
user_id=1041912
Originator: NO

Duplicate of Bug #1965795.

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.