On Sat, 1 Feb 2014, Christian Sternagel wrote:
Reviving this old thread once more ;)
I've lost track of this thread. Are there still any open questions?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
