> Your proposed change > https://isabelle.in.tum.de/repos/testboard/rev/20d5e446aa10 looks > formally OK.
See now Isabelle/3c628937899d and AFP/a7160ffc25f1. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev