[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
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and