Re: [isabelle] Monad_Syntax latex symbols
On Tue, 26 Apr 2011, Alexander Krauss wrote:
While compiling generated documents from theories, it seems some
symbols of Monad_Syntax are missing. Should they be defined in
As a user, you are free to define your own latex renderings of these
symbols... But we should probably add a sensible default...
I am about to see if \<bind> and \<then> can be included in
isabellesym.sty by default.
This archive was generated by a fusion of
Pipermail (Mailman edition) and