Isabelle_21-Nov-2017 (2c0f24e927dd)

See also AFP/13b3e24a71b0