Just a quick reaction to a problem at TUM on Sunday evening: https://isabelle-dev.sketis.net/rISABELLE97f12d2c8bf2c735c02f63728855c63e8d12b9ee
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
