Isabelle_24-Aug-2019 (b044a06ad0d6)

See also AFP/a07cbc936740