Isabelle_16-Jul-2018 (ec8c7c9459e0)

See also AFP/9bf3e5042b1a