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
http://cococo.de/products/windows/Columbo/sample2.html

Regards,
Jens





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