Isabelle_20-Feb-2017 (b46fe5138cb0)

See also AFP/901f6bfc8084