Recent changes
From Event-B
Jump to navigationJump to searchTrack the most recent changes to the wiki on this page.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
3 June 2024
15:13 | Relation Rewrite Rules diffhist +1 Guillaume talk contribs Rules DEF_EQUAL_FUN_IMAGE and SIMP_SPECIAL_IN_*ID have been implemented in Rodin 3.9 |
15:11 | Arithmetic Rewrite Rules diffhist +1 Guillaume talk contribs Rules DEF_EXPN_STEP, SIMP_{MIN,MAX}_IN and SIMP_KBOOL_LIT_EQUAL_TRUE have been implemented in Rodin 3.9 |
15:10 | Inference Rules diffhist +1 Guillaume talk contribs Rule FIN_COMPSET_R has been implemented in Rodin 3.9 |