[isabelle] Integer Division



I have a little problem with the integer division. When solving the 
equation
>  r-2*i=1
for integers i and r my algorithm gives 
> i=(1/2*r+r mod 2)-1/2,
which does not seem right.

Could someone tell me, how to calculate the result?

Thanks, Jens





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.