[isabelle] Linear Arithmetic



I also have a gift: the two sample pages

http://cococo.de/products/windows/Columbo/sample1.html
http://cococo.de/products/windows/Columbo/sample2.html

have been updated for better readability.

Greetings,
Jens





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