Dear all,
Is anyone especially attached to the (output) syntax "'a ~=> 'b" for "'a
=> 'b option"? I regularly find it surprising when it suddenly comes up.
For example, on page 47 of the tutorial (Excercise 3.4.6) it appears
without an explanation (probably printed by a term antiquotation).
If nobody complains, I'll make this syntax input-only.
Alex
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
