Isabelle_MMT-20190611 (Isabelle2019)