Re: [Rodin-b-sharp-user] New Inference Rule FUN_GOAL_REC

[Laurent V. <lau...@sy...>]

Dear Rodin fellows,

Le 23 août 10 à 15:15, Hugo De Sa Pereira Pinto a écrit :

> A new inference rule have been specified.
>
> http://wiki.event-b.org/index.php/Inference_Rules
> (REC_FUN_GOAL)
>
> Could you please review them and report any errors ?

I have actually fixed the rule which was ill-typed before.  I have  
also renamed it to FUN_GOAL_REC. Once approved, it will be merged with  
FUN_GOAL, as the latter is subsumed by the former.

Please have a second look at it.

Cheers,
Laurent.