[isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]

[Peter Lammich]

Forwarding this error report to the right mailing list ...
-------------- next part --------------
An embedded message was scrubbed...
From: Peter Lammich <lammich at in.tum.de>
Subject: [isabelle] Monad_Syntax breaks display of abbreviations
Date: Tue, 17 Sep 2013 10:50:31 +0200
Size: 7021
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20130918/1114dfb5/attachment-0001.mht>