Isabelle_09-Nov-2018 (e86d8cb40610)

See also AFP/1566e3fc3118