By accident I sent a local appointment to the DEV mailing list. Please ignore and sorry for the noise.
Florian
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
