On Thu, 21 Nov 2013, Dmitriy Traytel wrote:
From my angle Isabelle/f6ffe53387ef resolves [1] in a robust way.
This changeset amends lost updates from a few months ago, which is always
a very embarrassing situation -- a syntactic regression of the source.
Your changeset looks formally OK to me for Isabelle2013-2, although I have
not tried it myself and I am not the expert on these modules.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
