I could of course, with your permission, simply commit and push the entry myself.
Cheers, Manuel
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev