[isabelle-dev] Problems with Code-Generator

René Thiemann rene.thiemann at uibk.ac.at
Tue Aug 20 14:47:30 CEST 2013

Dear Florian,

Am 18.08.2013 um 16:24 schrieb Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de>:

> Hi René,
> does this solve all your reported problems?

Yes, everything is fine.
(I told Andreas before, but initially did not inform the whole mailing list)


More information about the isabelle-dev mailing list