[isabelle] Monad_Syntax latex symbols



Hello all,

While compiling generated documents from theories, it seems some symbols of 
Monad_Syntax are missing. Should they be defined in isabellesym.sty ?

-----
Monad_Syntax.tex:37: Undefined control sequence \frqq.
Monad_Syntax.tex:41: Undefined control sequence \isasymbind.
Monad_Syntax.tex:81: Undefined control sequence \isasymthen.
-----

Thanks,

Mathieu





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