Some user "gasth" has been added as new super-user for Isabelle at TUM.
Who is working with him? What is his project?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
