This, too, is an industry standard. Of course, I am not the expert, but I'm pretty sure this is achievable with the system we have – if there is a consensus that this is what we want, that is.
Manuel _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev