Re: [isabelle] Follow-up [Re: Isabelle operator precedence]

> You have prompted me to add a table of infix operators to the existing "What's
> in Main" manual (development version). In the process I have also fixed a few
> odd associativities, mostly making a few predicates non-associative. The table
> differs from yours in a number of respects. I am still debating if the framework
> operators like ==> should be in there too, although they come not from HOL but Pure.

Currently the appendix of the »old« Isabelle/HOL tutorial has a similar
purpose.  Maybe this is a candidate for unification.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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