[isabelle] relation composition

I am trying to port some old theories to the latest version of Isabelle,
and I discovered that the relation composition has changed.

I am writing to ask if there is a different symbol for the relation composition
which matches the old definition? I would rather change the symbol than
to swap the relational terms because they are long and swapping them
is more error prone.

Best regards,

Viorel Preoteasa

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