Re: [isabelle] Partial Linear Arithmetic

Thank you, Amine and Tobias,

the lemma sample2 has now been corrected. I also learned the term 
"parametric linear arithmetic", which might be very useful for my work. 
Maybe some day Columbo will output Isabelle theory files automatically ...

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