Isabelle_25-Sep-2018 (5ed7206dbf18)

See also AFP/52ebe6785673