Re: [isabelle] Help with Cauchy Schwarz



I can't reproduce your problem. Are you using Isabelle2007 and an up- to-date version of the theory file?

Larry Paulson


On 28 Nov 2007, at 22:23, RF Todd wrote:

I cannot get the following to work. It runs up till the last line of code here it won't run past the "by (auto simp add: real_Add_mult_distrib real_mult_assoc mult_ac" and I am not sure what is wrong.






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