Re: [isabelle] Integer Division

Hello Amine,

thank you, that helped me a lot and I reconsidered the original problem. I 
will have to teach my algorithm to solve the inequality
> " EX (i::int). r - 2*i <= 1" ,
The final result could look like this


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