On Sat, 29 Dec 2012, Florian Haftmann wrote:
So far. I will stop for today, and I am not sure when I am able to turn back on the issue. But maybe I have found enough that the original authors can comment on it.Yet an even more minimal example
I will study this a bit further ...
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
