[isabelle] Operator with Pair sets

Deat list,

I want to ask if there is a theory state that there is an operator map from
pair set ('a x 'b set) to another pair set ('cx'd set) or I should define
it? if there are such related theories please could you give me their names.



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