Isabelle_29-Jun-2017 (adb9d538f268)

See also AFP/bb7d0696a87f