Re: [isabelle] Symmetric Difference of sets



I don't believe it has ever been defined.
Larry Paulson


On 10 Mar 2010, at 16:55, Iain Whiteside wrote:

> I was looking for the symmetric difference operation on sets in Isabelle/HOL, but couldn't find it in Set.thy. Does anyone know if it exists anywhere else? I thought I'd better check before I go ahead and define it myself.






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