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.

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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