Isabelle_24-Apr-2017 (660df4a6dc59)

See also AFP/948235fd1719