On 09/11/2013 05:04 PM, Makarius wrote:
On Tue, 20 Aug 2013, Christian Sternagel wrote:
any opinions on making the type of monadic bind more general (see the
attached patch)?
This thread seems to be still open.
I now pushed the rebased change as eeff8139b3d8.
Do monadic people have a standard Unicode point to render that operator?
I would expect that most monadic people don't care very much about
Unicode and are happy with latex and ascii...
Alex
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev