[isabelle] Something strange with simplifier and (op \<circ>)






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