[Rodin-b-sharp-user] Rewriting rule changes in Rodin wiki

[Benoît L. <ben...@sy...>]

Dear All,

the following rules have been renamed on the wiki:

     SIMP_RELIMAGE_ID became SIMP_RELIMAGE_DOMRES_ID
     SIMP_TYPE_RELIMAGE_ID became SIMP_RELIMAGE_ID

the following rule has been added on the wiki:

     SIMP_RELIMAGE_DOMSUB_ID

which is the counterpart to SIMP_RELIMAGE_DOMRES_ID and does not present 
particular difficulties.

Cheers,
Benoît